4617 search results - page 558 / 924 » Automation of Diagrammatic Reasoning |
205
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
An adaptation phase is crucial for a good and reasonable Case-Based Planning (CBP) system. The adaptation phase is responsible for finding a solution in order to solve a new proble...
197
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
167
click to vote
CSL
2004
Springer
16 years 1 months ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
164
click to vote
EWCBR
2004
Springer
2004
Springer
Facilitating CBR for Incompletely-Described Cases: Distance Metrics for Partial Problem Descriptions
16 years 1 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,...
137
click to vote
EWCBR
2004
Springer
16 years 1 months ago
2004
Springer
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...