ATAL
2010
Springer
14 years 22 days ago
2010
Springer
Distributed Constraint Optimization (DCOP) is a popular framework for cooperative multi-agent decision making. DCOP is NPhard, so an important line of work focuses on developing f...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
ATAL
2010
Springer
14 years 22 days ago
2010
Springer
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
ATAL
2010
Springer
14 years 22 days ago
2010
Springer