Keyphrases
- causal reasoning
- default logic
- default theories
- default reasoning
- nonmonotonic reasoning
- autoepistemic logic
- nonmonotonic logics
- logic programming
- modal logic
- default rules
- extended logic programs
- fixed point
- classical logic
- expert systems
- query language
- defeasible logic
- np hard
- temporal logic
- expressive power
- logic programs
- dynamic programming
- bayesian networks
- data mining