Sciweavers

9490 search results - page 373 / 1898
» Slow Intelligence Systems
Sort
View
DALT
2009
Springer
15 years 10 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...
213
Voted
ATAL
2004
Springer
15 years 10 months ago
Verification of Multiagent Systems via Unbounded Model Checking
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
Magdalena Kacprzak, Alessio Lomuscio, Wojciech Pen...
CEC
2005
IEEE
15 years 8 months ago
On the use of rule-sharing in learning classifier system ensembles
This paper presents an investigation into exploiting the population-based nature of Learning Classifier Systems for their use within highly-parallel systems. In particular, the use...
Larry Bull, Matthew Studley, Anthony J. Bagnall, I...
ECAI
2008
Springer
15 years 8 months ago
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
Robert Lundh, Lars Karlsson, Alessandro Saffiotti
ESAW
2008
Springer
15 years 8 months ago
Exception Handling in Goal-Oriented Multi-Agent Systems
Abstract. Cooperative, autonomous and distributed properties of multiagent systems deduce the dynamic capabilities of multi-agent system applications. On the other hand, these suit...
Ibrahim Cakirlar, Erdem Eser Ekinci, Oguz Dikenell...