Alternative Translation Techniques for Propositional and First-Order Modal Logics.
Angelo MontanariAlberto PolicritiMatteo SlaninaPublished in: J. Autom. Reason. (2002)
Keyphrases
- modal logic
- first order logic
- inference rules
- default logic
- conditional logic
- general logic programs
- autoepistemic logic
- decision procedures
- classical first order logic
- dynamic logic
- horn clauses
- temporal logic
- nonmonotonic logics
- model theoretic
- classical logic
- propositional logic
- situation calculus
- theorem proving
- logical theories
- epistemic logic
- default theories
- default reasoning
- theorem prover
- inductive logic programming
- logic programming
- knowledge representation
- probabilistic logic
- fixpoint
- knowledge base
- model checking
- multi valued
- incomplete information
- machine translation