Sciweavers

116 search results - page 3 / 24
» Interpretive Reasoning with Hypothetical Cases
Sort
View
ESWS
2008
Springer
13 years 11 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
IJCAI
1997
13 years 11 months ago
Reasoning Symbolically About Partially Matched Cases
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
Kevin D. Ashley, Vincent Aleven
POPL
2006
ACM
14 years 10 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
ICCBR
2003
Springer
14 years 2 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
ICCBR
2007
Springer
14 years 3 months ago
Case-Based Reasoning for Invoice Analysis and Recognition
This paper introduces the approach CBRDIA (Case Based Reasoning for Document Invoice Analysis) which uses the principles of case-based reasoning to analyze, recognize and interpret...
Hatem Hamza, Yolande Belaïd, Abdel Belaï...