Programming Multi-Agents Systems

9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
Herausgegeben:Dennis, Louise; Boissier, Olivier; Bordini, Rafael H.

• Broschiertes Buch

Produktbeschreibung

Fast-track conference proceedingsState-of-the-art researchUp-to-date results

Produktdetails

• Lecture Notes in Computer Science 7217
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-642-31914-3
• 2012
• Seitenzahl: 232
• Erscheinungstermin: 18. Juli 2012
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 359g
• ISBN-13: 9783642319143
• ISBN-10: 3642319149
• Artikelnr.: 36021862

Inhaltsangabe

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.