We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
Fusion and optimization based on relevance judgements have proven to be successful strategies in information retrieval. In this year's CLEF campaign we applied these strategi...
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
Michael Herz, Thomas Hoffmann, Ulrich Nageldinger,...