


default search action
7. ProMAS 2009: Budapest, Hungary
- Lars Braubach, Jean-Pierre Briot
, John Thangarajah
:
Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5919, Springer 2010, ISBN 978-3-642-14842-2
Communication Models
- Munindar P. Singh
, Amit K. Chopra:
Programming Multiagent Systems without Programming Agents. 1-14 - Amit K. Chopra, Munindar P. Singh
:
Elements of a Business-Level Architecture for Multiagent Systems. 15-30 - Koen V. Hindriks
, M. Birna van Riemsdijk
:
A Computational Semantics for Communicating Rational Agents Based on Mental Models. 31-48
Formal Models
- Ammar Mohammed
, Ulrich Furbach:
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. 49-66 - Peter Novák:
Probabilistic Behavioural State Machines. 67-81 - Sebastian Sardiña
, Yves Lespérance:
Golog Speaks the BDI Language. 82-99
Organizations and Environments
- Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre
:
A Middleware for Modeling Organizations and Roles in Jade. 100-117 - Adriana Giret
, Vicente Julián
, Miguel Rebollo
, Estefania Argente
, Carlos Carrascosa
, Vicente J. Botti
:
An Open Architecture for Service-Oriented Virtual Organizations. 118-132 - Alessandro Ricci
, Mirko Viroli
, Michele Piunti:
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. 133-150
Analysis and Debugging
- Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer:
Debugging BDI-Based Multi-Agent Programs. 151-169 - Dinh Doan Van Bien, David Lillis
, Rem W. Collier
:
Space-Time Diagram Generation for Profiling Multi Agent Systems. 170-184 - Emilio Serrano, Juan A. Botía
, José Manuel Cadenas
:
Infrastructure for Forensic Analysis of Multi-Agent Based Simulations. 185-200
Agent Architectures
- Lars Braubach, Alexander Pokahr
:
Representing Long-Term and Interest BDI Goals. 201-218 - Emiliano Lorini, Michele Piunti:
Introducing Relevance Awareness in BDI Agents. 219-236 - Neil Madden, Brian Logan:
Modularity and Compositionality in Jason. 237-253
Applications
- Giuliano Armano
, Eloisa Vargiu
:
A MultiAgent System for Monitoring Boats in Marine Reserves. 254-265 - Tristan M. Behrens:
Agent-Oriented Control in Real-Time Computer Games. 266-283

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.