Specification of nonmonotonic reasoning.
Joeri EngelfrietJan TreurPublished in: J. Appl. Non Class. Logics (2000)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- conditional logic
- commonsense reasoning
- nonmonotonic inference
- defeasible reasoning
- possibility theory
- extended logic programs
- autoepistemic logic
- nonmonotonic logics
- abductive reasoning
- causal inference
- proof theoretic
- high level
- defeasible logic
- logic programs
- default theories
- argumentation systems
- formal specification
- graphical models
- minimal models
- artificial intelligence
- inheritance reasoning
- operational semantics
- general purpose
- relational databases