Programming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers by Louise DennisProgramming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers by Louise Dennis

Programming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3…

byLouise DennisEditorOlivier Boissier, Rafael H. Bordini

Paperback | July 18, 2012

Pricing and Purchase Info

$99.50

Earn 498 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

Fast-track conference proceedings State-of-the-art research Up-to-date results
Title:Programming Multi-Agents Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3…Format:PaperbackDimensions:217 pages, 23.5 × 15.5 × 0.01 inPublished:July 18, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642319149

ISBN - 13:9783642319143

Look for similar items by category:

Reviews

Table of Contents

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.