Sciweavers

ATAL
2010
Springer
14 years 22 days ago
Linear options
Learning, planning, and representing knowledge in large state t multiple levels of temporal abstraction are key, long-standing challenges for building flexible autonomous agents. ...
Jonathan Sorg, Satinder P. Singh
ATAL
2010
Springer
14 years 22 days ago
An evaluation tool for multiagent development techniques
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...
Emilia Garcia, Adriana Giret, Vicente J. Botti
ATAL
2010
Springer
14 years 22 days ago
Alternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
Nicolas Troquard, Dirk Walther
ATAL
2010
Springer
14 years 22 days ago
A formal approach to MASQ
Razvan Dinu, Tiberiu Stratulat, Jacques Ferber
ATAL
2010
Springer
14 years 22 days ago
Joint process games: from ratings to wikis
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
Michael Munie, Yoav Shoham
ATAL
2010
Springer
14 years 22 days ago
ESP: pursuit evasion on series-parallel graphs
Kenny Daniel, Richard B. Borie, Sven Koenig, Craig...
ATAL
2010
Springer
14 years 22 days ago
Divide-and-coordinate: DCOPs by agreement
In this paper we investigate an approach to provide approximate, anytime algorithms for DCOPs that can provide quality guarantees. At this aim, we propose the divide-and-coordinat...
Meritxell Vinyals, Marc Pujol, Juan A. Rodrí...