4617 search results - page 416 / 924 » Automation of Diagrammatic Reasoning |
230
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
152
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
This paper explores a method to algorithmically distinguish case-specific facts from potentially reusable or adaptable elements of cases in a textual case-based reasoning (TCBR) sy...
193
click to vote
ILP
2003
Springer
15 years 12 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...
186
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
196
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...