Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).

Published in: LICS (1997)

Keyphrases

extended abstract
fixpoint
logic programs
deductive databases
finite state machines
horn clauses
logic programming
answer sets
model theoretic
inductive logic programming
update rule
stable models
datalog programs
fixpoint semantics
nonmonotonic reasoning
recursive queries
data mining