𝔖 Scriptorium
✦   LIBER   ✦
📁

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

✍ Scribed by Shakil M. Khan, Yves Lespérance (auth.), Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
Tongue
English
Leaves
217
Series
Lecture Notes in Computer Science 7217 Lecture Notes in Artificial Intelligence
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

✦ Table of Contents

Front Matter....Pages -
Front Matter....Pages 1-1
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)....Pages 3-21
Relating Goal and Commitment Semantics....Pages 22-37
Front Matter....Pages 39-39
Developing a Knowledge Management Multi-Agent System Using JaCaMo ....Pages 41-57
Notes on Pragmatic Agent-Programming with Jason ....Pages 58-73
Integrating Expectation Monitoring into BDI Agents....Pages 74-91
Front Matter....Pages 93-93
Abstraction for Model Checking Modular Interpreted Systems over ATL....Pages 95-113
MAS: Qualitative and Quantitative Reasoning....Pages 114-132
State Space Reduction for Model Checking Agent Programs....Pages 133-151
Front Matter....Pages 153-153
The Multi-agent Programming Contest 2011: A Résumé....Pages 155-172
HactarV2: An Agent Team Strategy Based on Implicit Coordination....Pages 173-184
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach....Pages 185-196
Bogtrotters in Space....Pages 197-207
A Gaia-Driven Approach for Competitive Multi-Agent Systems....Pages 208-216
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering/Programming and Operating Systems; Computer Imaging, Vision, Pattern Recognition

📜 SIMILAR VOLUMES

Argumentation in Multi-Agent Systems: 8t
📁 Argumentation in Multi-Agent Systems: 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
✍ Cristian Gratie, Adina Magda Florea (auth.), Peter McBurney, Simon Parsons, Iyad 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011)

Multi-Agent-Based Simulation XII: Intern
📁 Multi-Agent-Based Simulation XII: International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
✍ Francisco Grimaldo, Mario Paolucci, Rosaria Conte (auth.), Daniel Villatoro, Jor 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended papers presented were carefully reviewed and selected from 21 submissions. The topics covered are

Multi-Agent-Based Simulation XII: Intern
📁 Multi-Agent-Based Simulation XII: International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
✍ Francisco Grimaldo, Mario Paolucci, Rosaria Conte (auth.), Daniel Villatoro, Jor 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended papers presented were carefully reviewed and selected from 21 submissions. The topics covered are

Programming Multi-Agent Systems: 8th Int
📁 Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
✍ Michal Pěchouček, Michal Jakob, Peter Novák (auth.), Rem Collier, Jürgen Dix, Pe 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented t

Programming Multi-Agent Systems: 8th Int
📁 Programming Multi-Agent Systems: 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
✍ Michal Pěchouček, Michal Jakob, Peter Novák (auth.), Rem Collier, Jürgen Dix, Pe 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented t

Programming Multi-Agent Systems: 10th In
📁 Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
✍ Álvaro Fernández Díaz, Clara Benac Earle (auth.), Mehdi Dastani, Jomi F. Hübner, 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics