Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers - Dennis, Louise; Boissier, Olivier; Bordini, Rafael H (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
ProMAS-2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics -- Part II: Multi-Agent Oriented Programming -- Developing a Knowledge Management Multi-Agent System Using JaCaMo -- Notes on Pragmatic Agent-Programming with Jason -- Integrating Expectation Monitoring into BDI Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part IV:Multi-Agent Programming Contest -- The Multi-agent Programming Contest 2011: A Resume -- HactarV2:An Agent Team Strategy Based on Implicit Coordination -- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach -- Bogtrotters in Space -- A Gaia-Driven Approach for Competitive Multi-Agent Systems.
Keywords: Computer science; Software engineering; Computer programming; Programming languages (Electronic computers).; Artificial intelligence; Computer graphics