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

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

Sommario

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.

Riassunto

Fast-track conference proceedings
State-of-the-art research
Up-to-date results

Dettagli sul prodotto

• Con la collaborazione di: Olivie Boissier (Editore), Olivier Boissier (Editore), Rafael H. Bordini (Editore), Louise Dennis (Editore), Rafael H Bordini (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 21.06.2012
• EAN: 9783642319143
• ISBN: 978-3-642-31914-3
• Pagine: 217
• Illustrazioni: XII, 217 p. 33 illus.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Software Engineering, Artificial Intelligence, computer science, Computer Vision, Software Engineering/Programming and Operating Systems, Computer Imaging, Vision, Pattern Recognition and Graphics, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Computer programming / software engineering, Optical data processing, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Compilers and Interpreters, BDI;commitments;coordination;knowledge management;semantics