Sciweavers

1056 search results - page 135 / 212
» ijcai 2007
Sort
View
IJCAI
2007
15 years 15 days ago
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
Han Lin, Kaile Su
IJCAI
2007
15 years 15 days ago
Training Conditional Random Fields Using Virtual Evidence Boosting
While conditional random fields (CRFs) have been applied successfully in a variety of domains, their training remains a challenging task. In this paper, we introduce a novel trai...
Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. ...
IJCAI
2007
15 years 15 days ago
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning
To enhance effectiveness in real world applications, autonomous agents have to develop cognitive competencies and anticipatory capabilities. Here we point out their strong liaison...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
IJCAI
2007
15 years 15 days ago
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
Carlos Iván Chesñevar, Guillermo Ric...
IJCAI
2007
15 years 15 days ago
Integration of Hybrid Bio-Ontologies using Bayesian Networks for Knowledge Discovery
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Nick Morris, Ste...