Combining fixpoint and differentiation theory.

Zeinab Galal Jean-Simon Pacaud Lemay

Published in: CoRR (2024)

Keyphrases

fixpoint
logic programs
deductive databases
model theoretic
proof theoretic
semantics of logic programs
answer sets
orders of magnitude
horn clauses
stable models
high level
domain knowledge
logic programming
finite state machines