The Expressive Power of Modal Dependence Logic.
Lauri HellaKerkko LuostoKatsuhiko SanoJonni VirtemaPublished in: CoRR (2014)
Keyphrases
- expressive power
- computational properties
- modal logic
- monadic second order logic
- first order logic
- query language
- nonmonotonic logics
- data complexity
- relation algebra
- relational algebra
- transitive closure
- logic programming
- temporal logic
- classical logic
- data model
- set theory
- horn clauses
- nonmonotonic reasoning
- default logic
- normal form
- recursive queries
- boolean algebra
- knowledge representation
- knowledge base