Keyphrases
- default logic
- default reasoning
- default theories
- autoepistemic logic
- closed world reasoning
- nonmonotonic logics
- nonmonotonic reasoning
- logic programming
- fixed point
- default rules
- belief revision
- classical logic
- modal logic
- probabilistic reasoning
- neural network
- commonsense knowledge
- expressive power
- semantic web
- defeasible logic
- evolutionary algorithm
- stable model semantics
- data structure