Sciweavers

ATAL
2006
Springer
14 years 4 months ago
Goal types in agent programming
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
ATAL
2006
Springer
14 years 4 months ago
Tractable negotiation in tree-structured domains
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet
ATAL
2006
Springer
14 years 4 months ago
No-commitment branch and bound search for distributed constraint optimization
We present a new polynomial-space algorithm for solving Distributed Constraint Optimization problems (DCOP). The algorithm, called NCBB, is branch and bound search with modificati...
Anton Chechetka, Katia P. Sycara
ATAL
2006
Springer
14 years 4 months ago
Teaching new teammates
Knowledge transfer between expert and novice agents is a challenging problem given that the knowledge representation and learning algorithms used by the novice learner can be fund...
Doran Chakraborty, Sandip Sen
ATAL
2006
Springer
14 years 4 months ago
Multiply-constrained distributed constraint optimization
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
Emma Bowring, Milind Tambe, Makoto Yokoo
ATAL
2006
Springer
14 years 4 months ago
Modelling dynamics of cognitive agents by higher-order potentialities
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
Tibor Bosse, Jan Treur
ATAL
2006
Springer
14 years 4 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ATAL
2006
Springer
14 years 4 months ago
A comparison between mechanisms for sequential compute resource auctions
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
Andrew Byde
ATAL
2006
Springer
14 years 4 months ago
A multi-agent system that facilitates scientific publications search
Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgi...