Challenges in Fixpoint Computation with Multisets.

Nematollaah Shiri Zhi Hong Zheng

Published in: FoIKS (2004)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
stable models
answer sets
model theoretic
proof theoretic
logic programming
fixpoint semantics
sql queries
semantics of logic programs
knowledge base
update propagation
recursive queries
background knowledge
hidden markov models