Chaotic Fixpoint Iteration Guided by Dynamic Dependency.

Niels Jørgensen

Published in: WSA (1993)

Keyphrases

fixpoint
logic programs
deductive databases
stable models
logic programming
inductive logic programming
finite state machines
horn clauses
proof theoretic
artificial intelligence
knowledge base
objective function
nonmonotonic reasoning