Fixpoint Theory - Upside Down.

Paolo Baldan Richard Eggert Barbara König Tommaso Padoan

Published in: FoSSaCS (2021)

Keyphrases

fixpoint
logic programs
deductive databases
proof theoretic
model theoretic
semantics of logic programs
finite state machines
stable models
horn clauses
general purpose
answer sets
metadata
sql queries
nonmonotonic reasoning
decision procedures
recursive queries