Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.
M. Jamshid BagherzadehS. Arun-KumarPublished in: LPAR (2004)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- temporal resolution
- prime implicates
- modal operators
- inference rules
- belief revision
- classical logic
- nonmonotonic logics
- epistemic logic
- situation calculus
- theorem proving
- horn clauses
- conditional logic
- autoepistemic logic
- model checking
- explanation based generalization
- high resolution
- rational agents
- default logic
- inductive logic programming
- logic programs
- dynamic logic
- defeasible logic
- expert systems