A Monoidal View on Fixpoint Checks.

Paolo Baldan Richard Eggert Barbara König Timo Matt Tommaso Padoan

Published in: CoRR (2023)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
recursive queries
datalog programs
model theoretic
integrity constraints
answer sets
fixpoint semantics
proof theoretic
stable models
sql queries
logic programming
horn clauses
nonmonotonic reasoning
magic sets
data management