3 search results - page 1 / 1 » Combining Bayesian Networks and Formal Reasoning for Semanti... |
AIED
2007
Springer
13 years 11 months ago
2007
Springer
IDA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
AI
2008
Springer
13 years 3 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...