386 search results - page 8 / 78 » ideas 2000 |
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
This paper describes a novel algorithm for activity coordination in multiagent systems that combines joint planning and joint learning. The basic idea underlying this algorithm is...
CSL
2000
Springer
13 years 12 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
DELOS
2000
13 years 9 months ago
2000
In this short paper, the basic ideas behind a project on the application of Knowledge Representation formalisms and technologies for Conceptual Modelling and Query Management are ...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...