4573 search results - page 416 / 915 » Automated Reasoning |
183
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...
162
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...
192
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
190
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
158
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...