Propositional Abduction in Modal Logic.
Marta Cialdea MayerFiora PirriPublished in: Log. J. IGPL (1995)
Keyphrases
- modal logic
- default logic
- propositional knowledge base
- prime implicates
- abductive reasoning
- autoepistemic logic
- inference rules
- temporal logic
- nonmonotonic reasoning
- decision procedures
- propositional logic
- logic programming
- belief revision
- classical logic
- default reasoning
- epistemic logic
- default theories
- knowledge base
- nonmonotonic logics
- horn clauses
- dynamic logic
- first order logic
- conditional logic
- probabilistic logic
- model checking
- conjunctive normal form
- theorem proving
- incomplete information
- belief change
- proof procedure