Formal Analysis of the Communication of Probabilistic Knowledge.

João Carlos Gluz Rosa Maria Vicari Cecilia Dias Flores Louise J. Seixas

Published in: IFIP AI (2006)

Keyphrases

formal analysis
probabilistic knowledge
propositional logic
probabilistic logic
probabilistic reasoning
formal model
inference rules
formal methods
logic programming
agent model
bayesian networks
description logics
default reasoning
ban logic
reasoning problems
conditional probabilities
data model