Representation Theory for Default Logic.
V. Wiktor MarekJan TreurMiroslaw TruszczynskiPublished in: Ann. Math. Artif. Intell. (1997)
Keyphrases
- default logic
- truth maintenance systems
- default theories
- nonmonotonic reasoning
- default reasoning
- logic programming
- autoepistemic logic
- nonmonotonic logics
- default rules
- causal reasoning
- extended logic programs
- formal theory
- classical logic
- commonsense reasoning
- artificial intelligence
- databases
- inference mechanism
- fixed point
- logic programs
- reinforcement learning