TY  - BOOK
AU  - Dennis,Louise
AU  - Boissier,Olivier
AU  - Bordini,Rafael H
TI  - Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers 
SN  - 9783642319150
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Artificial intelligence
KW  - Computer graphics
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-31915-0
ER  -