Sciweavers

1917 search results - page 70 / 384
» Experimenting with Nonmonotonic Reasoning
Sort
View
96
Voted
ECAI
2000
Springer
15 years 5 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
110
Voted
ICCBR
2003
Springer
15 years 5 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
100
Voted
COSIT
2001
Springer
169views GIS» more  COSIT 2001»
15 years 5 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 4 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
85
Voted
EWCBR
2000
Springer
15 years 4 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