The Complexity of Theorem Proving in Autoepistemic Logic.
Olaf BeyersdorffPublished in: Electron. Colloquium Comput. Complex. (2013)
Keyphrases
- theorem proving
- autoepistemic logic
- default logic
- inference rules
- theorem prover
- first order logic
- nonmonotonic reasoning
- decision procedures
- proof planning
- automated reasoning
- default theories
- parallel search
- geometry theorem proving
- consequence finding
- modal logic
- term rewriting
- logic programming
- proof procedure
- logic programs
- truth maintenance systems
- classical logic
- model theoretic
- proof search
- bayesian networks
- high level
- knowledge base
- machine learning