Some Strengths of Nonmonotonic Reasoning.
Uwe EglyHans TompitsPublished in: Intellectics and Computational Logic (2000)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- commonsense reasoning
- default logic
- nonmonotonic inference
- conditional logic
- autoepistemic logic
- abductive reasoning
- nonmonotonic logics
- defeasible reasoning
- possibility theory
- causal inference
- argumentation systems
- inheritance reasoning
- default rules
- truth maintenance systems
- general purpose
- minimal models
- proof theoretic
- artificial intelligence
- databases