925 search results - page 3 / 185 » Probabilistic Belief Logics |
ICCAD
2003
IEEE
14 years 3 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
AAAI
2008
13 years 8 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
IJCAI
2007
13 years 7 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
ICTL
1994
13 years 10 months ago
1994
This paper presents a temporal belief logic called