Keyphrases
- multi valued
- autoepistemic logic
- default logic
- nonmonotonic reasoning
- default theories
- logic programs
- modal logic
- classical logic
- logic programming
- single valued
- normal form
- general logic programs
- boolean functions
- nonmonotonic logics
- minimal models
- truth maintenance systems
- relational databases
- default reasoning
- undirected graph
- database design
- object oriented
- model theoretic
- optimal solution
- image segmentation