ICLP
2001
Springer
14 years 4 months ago
2001
Springer
ICLP
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
ICLP
2001
Springer
14 years 4 months ago
2001
Springer
ICLP
2001
Springer
14 years 4 months ago
2001
Springer
ICLP
2001
Springer
14 years 4 months ago
2001
Springer
ICCBR
2001
Springer
14 years 4 months ago
2001
Springer
ICCBR
2001
Springer
14 years 4 months ago
2001
Springer
In this paper, we present an adaptation-guided similarity metric based on the estimate of the number of actions between states, called ADG (Action Distance-Guided). It is determine...
ICCBR
2001
Springer
14 years 4 months ago
2001
Springer
The aim of this paper is to introduce a new method for finding and reusing process equipment design and inherently safer process configurations by case-based reasoning (CBR) and ob...
ICCBR
2001
Springer
14 years 4 months ago
2001
Springer
Case-based reasoning aims to use past experience to solve new problems. A strong requirement for its application is that extensive experience base exists that provides statisticall...
ICCBR
2001
Springer
14 years 4 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...