Sciweavers

1917 search results - page 70 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
ECAI
2000
Springer
15 years 10 months ago
Picture Perfect: Visualisation Techniques for Case-based Reasoning
Case-based reasoning systems solve new problems by retrieving and adapting the solutions to similar previously solved problems. The success and performance of any case-based reason...
Barry Smyth, Mark Mullins, Elizabeth McKenna
ICCBR
2003
Springer
15 years 11 months ago
Combining Case-Based and Model-Based Reasoning for Predicting the Outcome of Legal Cases
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...
Stefanie Brüninghaus, Kevin D. Ashley
COSIT
2001
Springer
169views GIS» more  COSIT 2001»
15 years 10 months ago
Spatial Reasoning: No Need for Visual Information
One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was...
Markus Knauff, Corinne Jola, Gerhard Strube
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
EWCBR
2000
Springer
15 years 10 months ago
A Case-Based Reasoning Approach to Collaborative Filtering
Collaborative filtering systems make recommendations based on the accumulation of ratings by many users. The process has a case-based reasoning flavor: recommendations are generate...
Robin D. Burke