Login / Signup
The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement.
Huili Xing
Published in:
IEEE Access (2019)
Keyphrases
</>
knowledge representation
modal logic
real time
data sets
machine learning
relational databases
scale space
information retrieval
decision trees
high level
search space
hidden markov models
mobile robot
description logics
optimal planning