Sciweavers

2519 search results - page 63 / 504
» Reasoning with Textual Cases
Sort
View
CADE
2008
Springer
16 years 5 days ago
Combining Theorem Proving with Natural Language Processing
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
Björn Pelzer, Ingo Glöckner
SCS
2003
15 years 1 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
CAI
2006
Springer
14 years 12 months ago
Symbolic Explanation of Similarities in Case-based Reasoning
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
Eva Armengol, Enric Plaza
STAIRS
2008
109views Education» more  STAIRS 2008»
15 years 1 months ago
Representing Case Variations for Learning General and Specific Adaptation Rules
Adaptation is a task of case-based reasoning systems that is largely domain-dependant. This motivates the study of adaptation knowledge acquisition (AKA) that can be carried out th...
Fadi Badra, Jean Lieber
ICMAS
2000
15 years 1 months ago
Distributed Case-Based Learning
Multi-agent systems exploiting case based reasoning techniques have to deal with the problem of retrieving episodes that are themselves distributed across a set of agents. From a ...
M. V. Nagendra Prasad