First-Order Ground Non-Monotonic Modal Logic.
Benjamin GrimbergMichael KaminskiPublished in: Fundam. Informaticae (2008)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- inference rules
- temporal logic
- general logic programs
- nonmonotonic logics
- higher order
- horn clauses
- classical logic
- situation calculus
- prime implicates
- default logic
- autoepistemic logic
- epistemic logic
- first order logic
- programming language
- action theories
- definite clause
- artificial intelligence
- belief revision
- explanation based generalization
- dynamic logic
- modal operators
- model theoretic