Description |
1 online resource (xii, 216 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7217. Lecture notes in artificial intelligence |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science ; 7217. 1611-3349
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
Contents |
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version) / Shakil M. Khan and Yves Lespérance -- Relating Goal and Commitment Semantics / Pankaj R. Telang, Munindar P. Singh and Neil Yorke-Smith -- Developing a Knowledge Management Multi-Agent System Using JaCaMo / Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti and María R. Galli -- Notes on Pragmatic Agent-Programming with Jason / Radek Píbil, Peter Novák, Cyril Brom and Jakub Gemrot -- Integrating Expectation Monitoring into BDI Agents / Surangika Ranathunga, Stephen Cranefield and Martin Purvis -- Abstraction for Model Checking Modular Interpreted Systems over ATL / Michael Köster and Peter Lohmann -- MAS: Qualitative and Quantitative Reasoning / Ammar Mohammed and Ulrich Furbach -- State Space Reduction for Model Checking Agent Programs / Sung-Shik T.Q. Jongmans, Koen V. Hindriks and M. Birna van Riemsdijk -- The Multi-agent Programming Contest 2011: A Résumé / Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix and Jomi F. Hübner -- HactarV2: An Agent Team Strategy Based on Implicit Coordination / Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen and Joris van den Oever, et al. -- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach / Mikko Berggren Ettienne, Steen Vester and Jørgen Villadsen -- Bogtrotters in Space / Dominic Carr, Sean Russell, Balazs Pete, G.M.P. O'Hare and Rem W. Collier -- A Gaia-Driven Approach for Competitive Multi-Agent Systems / Sahar Mirzayi, Vahid Nateghi and Fatemeh Eskandari |
Summary |
This book constitutes the proceedings of the 9th International Workshop on Programming Multi-Agent Systems held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of agent programming languages; multi-agent oriented programming; model checking; and papers of the participants of the multi-agent programming contest |
Analysis |
Computer science |
|
Software engineering |
|
Artificial intelligence |
|
Computer vision |
|
Programming Languages, Compilers, Interpreters |
|
Programming Techniques |
|
Software Engineering/Programming and Operating Systems |
|
Computer Imaging, Vision, Pattern Recognition and Graphics |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 8, 2012) |
In |
Springer eBooks |
Subject |
Multiagent systems -- Congresses
|
|
Informatique.
|
|
Multiagent systems
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Dennis, Louise
|
|
Boissier, Olivier.
|
|
Bordini, Rafael H.
|
ISBN |
9783642319150 |
|
3642319157 |
|
3642319149 |
|
9783642319143 |
|