Supporting automated deduction in first-order modal logics.
Angelo MontanariAlberto PolicritiMatteo SlaninaPublished in: KR (2000)
Keyphrases
- automated deduction
- modal logic
- inference rules
- first order logic
- theorem proving
- conditional logic
- decision procedures
- horn clauses
- theorem prover
- temporal logic
- nonmonotonic logics
- logical framework
- model theoretic
- epistemic logic
- automated reasoning
- propositional logic
- dynamic logic
- default logic
- database
- deductive databases
- classical logic
- situation calculus
- incomplete information
- fixed point
- logic programming
- probabilistic model
- multi agent
- artificial intelligence