ICLP
1999
Springer
14 years 3 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
ICLP
1999
Springer
14 years 3 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
In the future digital TV will offer an unprecedented level of programme choice. We are told that this will lead to dramatic increases in viewer satisfaction as all viewing tastes a...
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...