Login / Signup
Fixpoint Theory - Upside Down.
Paolo Baldan
Richard Eggert
Barbara König
Tommaso Padoan
Published in:
CoRR (2021)
Keyphrases
</>
fixpoint
logic programs
deductive databases
proof theoretic
model theoretic
logic programming
horn clauses
semantics of logic programs
stable models
finite state machines
datalog programs
domain knowledge
decision procedures
sql queries
recursive queries
update rule
machine learning