2162 search results - page 183 / 433 » Automated Reasoning on Feature Models |
134
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
112
click to vote
EWCBR
2004
Springer
2004
Springer
Facilitating CBR for Incompletely-Described Cases: Distance Metrics for Partial Problem Descriptions
15 years 9 months ago
A fundamental problem for case-based reasoning systems is how to select relevant prior cases. Numerous strategies have been developed for determining the similarity of prior cases,...
144
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
122
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
127
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...