Limit search to available items
Book Cover
E-book
Author ProMAS (Conference) (9th : 2011 : Taipei, Taiwan)

Title Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers / Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)
Published Berlin ; New York : Springer, ©2012

Copies

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
Other Titles ProMAS 2011