Keyphrases
- default logic
- default theories
- default reasoning
- autoepistemic logic
- logic programming
- nonmonotonic reasoning
- nonmonotonic logics
- default rules
- fixed point
- modal logic
- classical logic
- image segmentation
- logic programs
- extended logic programs
- defeasible logic
- answer set programming
- programming language
- expert systems
- high level