Sciweavers

1629 search results - page 76 / 326
» Evolutionary Multi-agent Systems
Sort
View
APAL
2006
112views more  APAL 2006»
13 years 7 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
PAAMS
2010
Springer
13 years 6 months ago
ASGARD - A Graphical Monitoring Tool for Distributed Agent Infrastructures
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
Jakob Tonn, Silvan Kaiser
SBIA
2000
Springer
13 years 11 months ago
Applying the ARTIS Agent Architecture to Mobile Robot Control
Abstract. The agent/multi-agent system paradigm is an important field of Artificial Intelligence. The use of this paradigm in real-world problems is one of the main lines of intere...
José Soler, Vicente Julián, Carlos C...
ATAL
2010
Springer
13 years 8 months ago
THOMAS: a service-oriented framework for virtual organizations
This paper describes the THOMAS framework, a useful framework for the development of virtual organizations, on the basis of a service-based approach. Categories and Subject Descri...
Elena del Val Noguera, Natalia Criado, Carlos Carr...
ATAL
2006
Springer
13 years 11 months ago
Multi-agent coordination and control testbed for planning and scheduling strategies
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
Paul Verstraete, Paul Valckenaers, Hendrik Van Bru...