Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.

Published in: LICS (1997)

Keyphrases

fixpoint
finite state machines
logic programs
deductive databases
horn clauses
stable models
fixpoint semantics
nonmonotonic reasoning
datalog programs
model checking
logic programming
inference rules
model theoretic
query evaluation
background knowledge
hidden markov models
update rule
magic sets
database systems