2162 search results - page 109 / 433 » Automated Reasoning on Feature Models |
141
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
159
click to vote
KR
2010
Springer
2010
Springer
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
15 years 8 months ago
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we ...
139
click to vote
PRL
2006
15 years 3 months ago
2006
A wrapped feature selection process is proposed in the context of robust clustering based on Laplace mixture models. The clustering approach we consider is a generalization of the...
125
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
164
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...