Keyphrases
- belief base
- nonmonotonic reasoning
- logic programming
- multiple inheritance
- classical logic
- multi context systems
- nonmonotonic logics
- autoepistemic logic
- default logic
- defeasible logic
- modal logic
- integrity checking
- sound and complete with respect
- database
- strong equivalence
- minimal models
- logic programs
- object oriented
- data mining