A generalization of Naundorf's fixpoint theorem.

Wim H. Hesselink

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

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
stable models
recursive queries
proof theoretic
datalog programs
nonmonotonic reasoning
fixpoint semantics
answer sets
model theoretic
logic programming
database
integrity constraints
domain knowledge
databases