4270 search results - page 486 / 854 » Implementation of interactive poster |
157
click to vote
AISC
2004
Springer
16 years 8 days ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
153
click to vote
DIAGRAMS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
184
Voted
E4MAS
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
156
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
198
click to vote
ESAW
2004
Springer
16 years 7 days ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...