Sciweavers

270 search results - page 19 / 54
» atal 2005
Sort
View
ATAL
2005
Springer
14 years 3 months ago
Individual beliefs and group acceptances within agent organizations
Groups of collaborative agents within organizations need to create group awareness in order to act as a single entity. The notion of collective belief, which has been used extensi...
Ioannis Partsakoulakis, George A. Vouros
ATAL
2005
Springer
14 years 3 months ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
ATAL
2005
Springer
14 years 3 months ago
Simulating data dissemination techniques for local reputation systems
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
Andreas Schlosser, Marco Voss
ATAL
2005
Springer
14 years 3 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
ATAL
2005
Springer
14 years 3 months ago
Negotiation mechanism for TAC SCM component market
This paper presents a new negotiation mechanism and a new supplier model for Trading Agent Competition Supply Chain Management(TAC SCM). Under the new negotiation mechanism, an ag...
Dongmo Zhang