Only-Knowing Meets Nonmonotonic Modal Logic.

Gerhard Lakemeyer Hector J. Levesque

Published in: KR (2012)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
decision procedures
inference rules
default logic
autoepistemic logic
epistemic logic
classical logic
dynamic logic
artificial intelligence
conditional logic
situation calculus
autonomous agents
knowledge base
domain knowledge