Sciweavers

ICLP
2001
Springer
14 years 3 months ago
Higher-Precision Groundness Analysis
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...
Michael Codish, Samir Genaim, Harald Sønder...
ICLP
2001
Springer
14 years 3 months ago
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...
ICLP
2001
Springer
14 years 3 months ago
A Computational Model for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
ICCBR
2001
Springer
14 years 3 months ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...
ICCBR
2001
Springer
14 years 3 months ago
An Accurate Adaptation-Guided Similarity Metric for Case-Based Planning
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...
Flavio Tonidandel, Marcio Rillo
ICCBR
2001
Springer
14 years 3 months ago
Applying CBR and Object Database Techniques in Chemical Process Design
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...
Timo Seuranen, Elina Pajula, Markku Hurme
ICCBR
2001
Springer
14 years 3 months ago
Mining High-Quality Cases for Hypertext Prediction and Prefetching
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...
Qiang Yang, Ian Tian Yi Li, Henry Haining Zhang
ICCBR
2001
Springer
14 years 3 months ago
Helping a CBR Program Know What It Knows
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 ...
Bruce M. McLaren, Kevin D. Ashley