Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.
Leora MorgensternPublished in: LPNMR (1999)
Keyphrases
- nonmonotonic reasoning
- inheritance reasoning
- logic programming
- default reasoning
- commonsense reasoning
- default logic
- belief revision
- nonmonotonic logics
- nonmonotonic inference
- defeasible reasoning
- abductive reasoning
- conditional logic
- theoretically sound
- possibility theory
- autoepistemic logic
- knowledge representation
- causal inference
- defeasible logic
- multiple inheritance
- deductive databases
- logic programs
- default theories
- extended logic programs
- proof theoretic