2519 search results - page 86 / 504 » Reasoning with Textual Cases |
123
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
131
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
132
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Researchers building multi-agent algorithms typically work with abstracted away from real applications. The abstracted problem instances allow systematic and detailed investigatio...
132
click to vote
ICCBR
2010
Springer
15 years 8 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
139
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...