Fixpoint operators for domain equations.

John Power Giuseppe Rosolini

Published in: Theor. Comput. Sci. (2002)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
difference equations
domain specific
logic programming
nonmonotonic reasoning
fixpoint semantics
horn clauses
databases
artificial intelligence
prior knowledge
data exchange
sql queries
stable models