Representation Theory for Default Logic
V. Wiktor MarekJan TreurMiroslaw TruszczynskiPublished in: CoRR (1999)
Keyphrases
- default logic
- truth maintenance systems
- nonmonotonic reasoning
- default theories
- autoepistemic logic
- default reasoning
- nonmonotonic logics
- logic programming
- causal reasoning
- commonsense reasoning
- minimal models
- default rules
- formal theory
- general purpose
- belief functions
- modal logic
- fixed point
- expressive power
- pairwise