Infinitary Default Logic for Specification of Nonmonotonic Reasoning.
Joeri EngelfrietV. Wiktor MarekJan TreurMiroslaw TruszczynskiPublished in: JELIA (1996)
Keyphrases
- nonmonotonic reasoning
- default logic
- default reasoning
- default theories
- autoepistemic logic
- logic programming
- nonmonotonic logics
- default rules
- modal logic
- commonsense reasoning
- fixed point
- nonmonotonic inference
- extended logic programs
- defeasible logic
- high level
- formal specification
- possibility theory
- fixpoint
- classical logic
- belief revision
- truth maintenance systems
- general purpose
- databases