First-Order Modal Logic Theorem Proving and Functional Simulation.
Andreas NonnengartPublished in: IJCAI (1993)
Keyphrases
- modal logic
- theorem proving
- inference rules
- decision procedures
- first order logic
- term rewriting
- conditional logic
- horn clauses
- temporal logic
- theorem prover
- model theoretic
- classical logic
- automated reasoning
- automated deduction
- predicate calculus
- parallel search
- epistemic logic
- geometry theorem proving
- default logic
- automated theorem proving
- dynamic logic
- consequence finding
- proof planning
- situation calculus
- proof procedure
- general logic programs
- quantifier elimination
- nonmonotonic logics
- knowledge representation
- machine learning
- equational theories
- knowledge base
- explanation based generalization
- multi agent
- prime implicates
- autoepistemic logic
- probabilistic reasoning