Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty.

Werner Kießling Gerhard Köstler Ulrich Güntzer

Published in: BTW (1993)

Keyphrases

fixpoint
logic programs
uncertain data
deductive databases
conditional probabilities
bayesian networks
general purpose
answer sets
horn clauses
datalog programs
database
np complete
finite state machines
probabilistic reasoning
stable models