Login / Signup
Combining fixpoint and differentiation theory.
Zeinab Galal
Jean-Simon Pacaud Lemay
Published in:
LICS (2024)
Keyphrases
</>
fixpoint
logic programs
deductive databases
proof theoretic
model theoretic
semantics of logic programs
horn clauses
finite state machines
stable models
recursive queries
databases
nonmonotonic reasoning
datalog programs
fixpoint semantics
database
general purpose