Sciweavers

4573 search results - page 137 / 915
» Automated Reasoning
Sort
View
125
Voted
ICCBR
1995
Springer
15 years 7 months ago
Reasoning with Reasons in Case-Based Comparisons
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
Kevin D. Ashley, Bruce M. McLaren
ICCBR
2001
Springer
15 years 8 months ago
A Case-Based Reasoning View of Automated Collaborative Filtering
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
Conor Hayes, Padraig Cunningham, Barry Smyth
LPAR
2005
Springer
15 years 9 months ago
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...