Lemma Handling in Default Logic Theorem Provers.
Thomas LinkeTorsten SchaubPublished in: ECSQARU (1995)
Keyphrases
- theorem prover
- default logic
- default theories
- default reasoning
- nonmonotonic reasoning
- automated theorem proving
- inference rules
- automated reasoning
- logic programming
- theorem proving
- modal logic
- nonmonotonic logics
- first order logic
- autoepistemic logic
- default rules
- classical logic
- computer algebra
- higher order logic
- formal semantics
- fixed point
- commonsense reasoning
- proof search
- knowledge representation and reasoning
- machine learning
- probability distribution
- image segmentation