Default logic and specification of nonmonotonic reasoning.
Joeri EngelfrietV. Wiktor MarekJan TreurMiroslaw TruszczynskiPublished in: J. Exp. Theor. Artif. Intell. (2001)
Keyphrases
- nonmonotonic reasoning
- default logic
- default reasoning
- default theories
- logic programming
- nonmonotonic logics
- autoepistemic logic
- commonsense reasoning
- default rules
- extended logic programs
- fixed point
- modal logic
- nonmonotonic inference
- classical logic
- possibility theory
- defeasible logic
- belief revision
- high level
- databases
- answer set programming
- truth maintenance systems
- minimal models
- machine learning