Sciweavers

4190 search results - page 475 / 838
» Implementing commitment-based interactions
Sort
View
DIAGRAMS
2004
Springer
15 years 9 months ago
An Experimental Comparison of Diagrammatic and Algebraic Logics
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...
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mat...
E4MAS
2004
Springer
15 years 9 months ago
ELMS: An Environment Description Language for Multi-agent Simulation
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...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
ECAI
2004
Springer
15 years 9 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
ESAW
2004
Springer
15 years 9 months ago
Cooperative Agent Model Instantiation to Collective Robotics
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...
Gauthier Picard
ITS
2004
Springer
129views Multimedia» more  ITS 2004»
15 years 9 months ago
Developing Learning by Teaching Environments That Support Self-Regulated Learning
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
Gautam Biswas, Krittaya Leelawong, Kadira Belynne,...