Login / Signup
Combinations of Modal Logics.
Brandon Bennett
Clare Dixon
Michael Fisher
Ullrich Hustadt
Enrico Franconi
Ian Horrocks
Maarten de Rijke
Published in:
Artif. Intell. Rev. (2002)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
default logic
dynamic logic
conditional logic
natural language
data model
autoepistemic logic
rule base
first order logic
expert systems
search algorithm