Sign in
Finite Materialisability of Datalog Programs with Metric Temporal Operators.
Przemyslaw Andrzej Walega
Michal Zawidzki
Bernardo Cuenca Grau
Published in:
J. Artif. Intell. Res. (2023)
Keyphrases
</>
datalog programs
query answering
fixpoint
deductive databases
recursive queries
magic sets
conjunctive queries
fixpoint semantics
inconsistent databases
data complexity
artificial intelligence
data sets
background knowledge
programming language
expert systems
objective function
high level