174 search results - page 1 / 35 » Loop Calculus for Satisfiability |
AAAI
2008
13 years 6 months ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
FLAIRS
2004
13 years 5 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
FUIN
2006
13 years 4 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
JMLR
2010
12 years 11 months ago
2010
We introduce novel results for approximate inference on planar graphical models using the loop calculus framework. The loop calculus (Chertkov and Chernyak, 2006b) allows to expre...
MEMBRANE
2007
Springer
13 years 10 months ago
2007
Springer