A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye Benoît Caillaud

Published in: CoRR (2008)

Keyphrases

probabilistic reasoning
high level
bayesian networks
probabilistic model
general purpose
artificial intelligence
relational databases
decision theoretic
knowledge base
search algorithm
semi supervised
maximum entropy
decision models
reasoning under uncertainty