Handling Exceptions in nonmonotonic reasoning.
Marcelino C. PequenoRodrigo de Melo Souza VerasWladimir A. TavaresPublished in: LA-NMR (2007)
Keyphrases
- nonmonotonic reasoning
- inheritance reasoning
- default rules
- logic programming
- default reasoning
- commonsense reasoning
- belief revision
- conditional logic
- default logic
- nonmonotonic inference
- possibility theory
- autoepistemic logic
- defeasible reasoning
- proof theoretic
- causal inference
- nonmonotonic logics
- abductive reasoning
- multiple inheritance
- theoretically sound
- knowledge representation
- default theories
- knowledge base
- logic programs