Sciweavers

4190 search results - page 475 / 838
» Implementing commitment-based interactions
Sort
View
DIAGRAMS
2004
Springer
16 years 12 days 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
16 years 12 days 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
16 years 12 days 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
16 years 12 days 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»
16 years 11 days 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,...