Keyphrases
- theorem proving
- autoepistemic logic
- default logic
- theorem prover
- inference rules
- first order logic
- automated reasoning
- decision procedures
- proof procedure
- parallel search
- geometry theorem proving
- nonmonotonic reasoning
- term rewriting
- consequence finding
- classical logic
- proof planning
- model theoretic
- default theories
- modal logic
- logic programs
- nonmonotonic logics
- proof search
- general logic programs
- query processing
- minimal models
- propositional logic
- logic programming
- knowledge representation