Implementing Default and Autoepistemic Logics via the Logic of GK.
Jianmin JiHannes StrassPublished in: CoRR (2014)
Keyphrases
- modal logic
- autoepistemic logic
- nonmonotonic logics
- default logic
- classical logic
- default rules
- decision procedures
- inference rules
- nonmonotonic inference
- temporal logic
- conditional logic
- epistemic logic
- nonmonotonic reasoning
- proof theory
- default theories
- default reasoning
- coalition logic
- logic programming
- commonsense reasoning
- situation calculus
- propositional dynamic logic
- modal operators
- valued semantics
- logic programs
- knowledge representation formalisms
- proof procedures
- sequent calculi
- dynamic logic
- sequent calculus
- higher order logic
- proof theoretic