Consequence Finding in Default Theories.
Katsumi InoueKoji IwanumaHidetomo NabeshimaPublished in: FQAS (2004)
Keyphrases
- consequence finding
- default theories
- default logic
- truth maintenance systems
- theorem proving
- nonmonotonic reasoning
- autoepistemic logic
- theorem prover
- nonmonotonic logics
- answer set programming
- abductive reasoning
- classical logic
- default reasoning
- logic programming
- prime implicants
- inference rules
- modal logic
- first order logic