Nonmonotonic reasoning.
Francesco M. DoniniMaurizio LenzeriniDaniele NardiFiora PirriMarco SchaerfPublished in: Artif. Intell. Rev. (1990)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- commonsense reasoning
- nonmonotonic inference
- conditional logic
- nonmonotonic logics
- abductive reasoning
- defeasible reasoning
- causal inference
- possibility theory
- autoepistemic logic
- inheritance reasoning
- extended logic programs
- proof theoretic
- stereo matching
- argumentation systems
- propositional logic
- modal logic
- fixed point