ATAL
2006
Springer
14 years 3 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. The generalized assignment problem (GAP) is a typical NP-hard problem and has been studied for many years mainly in the operations research community. The goal of the GAP...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
This paper describes the design and evaluation of SouthamptonSCM, the runner-up in the 2005 International Trading Agent Supply Chain Management Competition (TAC SCM). In particula...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer
A multi-agent system can be analyzed and specified as an organization consisting of roles and their relations. The performance of an organization depends on many factors among whi...
ATAL
2006
Springer
14 years 3 months ago
2006
Springer