Keyphrases
- default logic
- query language
- default theories
- data model
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- logic programming
- expressive power
- nonmonotonic logics
- fixed point
- modal logic
- object oriented
- default rules
- query evaluation
- classical logic
- databases
- database
- regular expressions
- probabilistic model
- image segmentation
- conjunctive queries
- knowledge representation
- xml documents
- expert systems
- machine learning
- commonsense reasoning
- extended logic programs