Complexity of Arithmetic in Warded Datalog+-.

Lucas Berent Markus Nissl Emanuel Sallinger

Published in: CoRR (2022)

Keyphrases

computational complexity
expressive power
logic programming
query language
information systems
deductive databases
arithmetic operations
real time
satisfiability problem
query answering
first order logic
worst case
computational cost
special case
decision trees
knowledge base
artificial intelligence
databases