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