9. ProMAS 2011: Taipei, Taiwan

Louise A. Dennis, Olivier Boissier, Rafael H. Bordini (Eds.): Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7217 Springer 2012, ISBN 978-3-642-31914-3

Foundations of Agent Programming Languages

Shakil M. Khan, Yves Lespérance:
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). 3-21
Pankaj R. Telang, Munindar P. Singh, Neil Yorke-Smith:
Relating Goal and Commitment Semantics. 22-37

Carlos Manuel Toledo, Rafael H. Bordini, Omar Chiotti, María Rosa Galli:
Developing a Knowledge Management Multi-Agent System Using JaCaMo. 41-57
Radek Píbil, Peter Novák, Cyril Brom, Jakub Gemrot:
Notes on Pragmatic Agent-Programming with Jason. 58-73
Surangika Ranathunga, Stephen Cranefield, Martin K. Purvis:
Integrating Expectation Monitoring into BDI Agents. 74-91

Michael Köster, Peter Lohmann:
Abstraction for Model Checking Modular Interpreted Systems over ATL. 95-113
Ammar Mohammed, Ulrich Furbach:
MAS: Qualitative and Quantitative Reasoning. 114-132
Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk:
State Space Reduction for Model Checking Agent Programs. 133-151

Tristan M. Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi Fred Hübner:
The Multi-agent Programming Contest 2011: A Résumé. 155-172
Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits, Koen V. Hindriks:
HactarV2: An Agent Team Strategy Based on Implicit Coordination. 173-184
Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen:
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. 185-196
Dominic Carr, Sean Edward Russell, Balazs Pete, Gregory M. P. O'Hare, Rem W. Collier:
Bogtrotters in Space. 197-207
Sahar Mirzayi, Vahid Nateghi, Fatemeh Eskandari:
A Gaia-Driven Approach for Competitive Multi-Agent Systems. 208-216

Last update Wed May 22 16:22:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page