How does incoherence affect inconsistency-tolerant semantics for Datalog±?
Cristhian A. D. DeagustiniMaria Vanina MartinezMarcelo A. FalappaGuillermo Ricardo SimariPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- logic programming
- sound and complete with respect
- fixpoint semantics
- deductive databases
- expressive power
- query answering
- formal semantics
- classical logic
- logic programs
- database languages
- integrity checking
- valued semantics
- valued logic
- relational query languages
- disjunctive datalog
- database query languages
- integrity constraints
- query language
- datalog programs
- model theoretic
- reasoning tasks
- data complexity
- nonmonotonic reasoning
- default logic
- complex objects
- database systems
- database