Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory.
Pascal NicolasBéatrice DuvalPublished in: WOCFAI (1995)
Keyphrases
- theorem prover
- default theories
- default logic
- theorem proving
- automated reasoning
- autoepistemic logic
- first order logic
- default rules
- inference rules
- nonmonotonic logics
- nonmonotonic reasoning
- default reasoning
- formal semantics
- logic programming
- natural deduction
- fixed point
- expert systems
- object oriented
- knowledge representation