Logical foundations of nonmonotonic reasoning.
Nadim ObeidRaymond TurnerPublished in: Artif. Intell. Rev. (1991)
Keyphrases
- logical foundations
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- active databases
- default logic
- nonmonotonic inference
- commonsense reasoning
- conditional logic
- abductive reasoning
- defeasible reasoning
- extended logic programs
- possibility theory
- causal inference
- nonmonotonic logics
- proof theoretic
- inheritance reasoning
- autoepistemic logic
- logic programs
- knowledge base
- minimal models
- programming language
- information systems