On the Expressive Power of IF-Logic with Classical Negation.
Santiago FigueiraDaniel GorínRafael GrimsonPublished in: WoLLIC (2011)
Keyphrases
- expressive power
- computational properties
- disjunctive datalog
- logic programming
- first order logic
- predicate logic
- data complexity
- relation algebra
- monadic second order logic
- query language
- horn clauses
- relational algebra
- logic programs
- transitive closure
- deductive databases
- knowledge representation
- modal logic
- database
- classical logic
- description logics
- constraint databases
- formal logic