2162 search results - page 175 / 433 » Automated Reasoning on Feature Models |
243
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
133
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
384
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
154
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
136
click to vote
BPM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...