38 search results - page 1 / 8 » On probabilistic inference by weighted model counting |
105
Voted
JAIR
2011
14 years 5 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 ...
55
Voted
AI
2008
Springer
14 years 11 months ago
2008
Springer
JAIR
2007
14 years 10 months 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...
AIPS
2006
15 years 9 days 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...
88
Voted
ECSQARU
2007
Springer
15 years 5 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...