Default Logic as a Query Language.
Marco CadoliThomas EiterGeorg GottlobPublished in: IEEE Trans. Knowl. Data Eng. (1997)
Keyphrases
- default logic
- query language
- default reasoning
- nonmonotonic reasoning
- default theories
- data model
- logic programming
- expressive power
- default rules
- autoepistemic logic
- nonmonotonic logics
- object oriented
- modal logic
- query evaluation
- fixed point
- classical logic
- conjunctive queries
- xml data
- regular expressions
- truth maintenance systems
- database
- extended logic programs
- transitive closure
- database systems
- logic programs
- minimal models
- machine learning