EWCBR
1994
Springer
14 years 3 months ago
1994
Springer
Theusual case-basedreasoningapproachassumesthat foreachgivenprobleminstanceit is necessaryto retrieve fromscratcha similarcasefromthe casebase.Therefore, anindexedmemorystmctareor...
EWCBR
1994
Springer
14 years 3 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
EWCBR
1994
Springer
14 years 3 months ago
1994
Springer
EWCBR
1993
Springer
14 years 3 months ago
1993
Springer
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...
EWCBR
1993
Springer
14 years 3 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
EWCBR
1993
Springer
14 years 3 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
ELP
1993
14 years 3 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...
ELP
1993
14 years 3 months ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
ELP
1993
14 years 3 months ago
1993
The logic of definitional reflection is extended with a theory of free equality. Based on this equality theory a sequent-style notion of the completion of a definition is motivated...
ECSQARU
1993
Springer
14 years 3 months ago
1993
Springer
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...