1252 search results - page 17 / 251 » Minimizing Learned Clauses |
91
Voted
SAT
2009
Springer
15 years 8 months ago
2009
Springer
The concept of backdoor variables has been introduced as a structural property of combinatorial problems that provides insight into the surprising ability of modern satisfiability...
129
Voted
ILP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
108
click to vote
ECTEL
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the developmen...
97
Voted
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
