The Stable Model Semantics of Datalog with Metric Temporal Operators.
Przemyslaw Andrzej WalegaDavid J. Tena CucalaBernardo Cuenca GrauEgor V. KostylevPublished in: Theory Pract. Log. Program. (2024)
Keyphrases
- logic programming
- disjunctive datalog
- expressive power
- datalog programs
- logic programs
- deductive databases
- fixpoint
- stable models
- disjunctive logic programming
- normal logic programs
- first order logic
- magic sets
- query language
- answer set programming
- polynomial hierarchy
- data complexity
- knowledge base
- query answering
- nonmonotonic reasoning
- transitive closure
- answer sets
- knowledge representation and reasoning
- programming language
- knowledge representation
- default logic
- situation calculus
- relational algebra
- recursive queries
- stable model semantics
- conjunctive queries
- inconsistent databases
- database