Programming multi-agents systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers

Fast-track conference proceedings.State-of-the-art research.Up-to-date results INDICE: 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 OrientedProgramming.-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 R´esum´e.-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.-.

• ISBN: 978-3-642-31914-3
• Editorial: Springer
• Encuadernacion: Rústica
• Fecha Publicación: 18/07/2012
• Nº Volúmenes: 1
• Idioma: Inglés