Programming Multi-Agent Systems  9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /  [electronic resource] : 
edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XII, 217 p. 33 ill.) 
 - Lecture Notes in Computer Science,  7217  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642319150 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer programming.<br/>Programming languages (Electronic computers).<br/>Artificial intelligence.<br/>Computer graphics.