Sciweavers

748 search results - page 42 / 150
» Towards deception in agents
Sort
View
CEEMAS
2003
Springer
14 years 1 months ago
A Multi-agent Modal Language for Concurrency with Non-communicating Agents
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
Stefano Borgo
DALT
2009
Springer
13 years 11 months ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
ATAL
2008
Springer
13 years 10 months ago
An adaptive agent model for self-organizing MAS
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
Candelaria Sansores, Juan Pavón
ATAL
2007
Springer
14 years 2 months ago
Towards collaborative task and team maintenance
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
Gal A. Kaminka, Ari Yakir, Dan Erusalimchik, Nirom...
DALT
2007
Springer
14 years 2 months ago
Towards Alternative Approaches to Reasoning About Goals
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...
Patricia H. Shaw, Rafael H. Bordini