38 search results - page 1 / 8 » On probabilistic inference by weighted model counting |
120
click to vote
JAIR
2011
14 years 7 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
AI
2008
Springer
15 years 16 days ago
2008
Springer
104
Voted
JAIR
2007
15 years 9 days ago
2007
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
97
Voted
AIPS
2006
15 years 1 months ago
2006
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
100
Voted
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...