Argumentative Reflections of Approximation Fixpoint Theory.

Jesse Heyninck Ofer Arieli

Published in: COMMA (2020)

Keyphrases

fixpoint
difference equations
logic programs
deductive databases
proof theoretic
model theoretic
semantics of logic programs
update rule
finite state machines
horn clauses
stable models
datalog programs
sql queries
logic programming
integrity constraints
fixpoint semantics