AT2AI-5

Fifth International Symposium "From Agent Theory to Agent Implementation"

April 21, 2006, Vienna, Austria (EU)

Chairs: Jörg Müller and Paolo Petta

<URL: http://www.ofai.at/research/agents/conf/at2ai5/>

Symposium L at the
18th European Meeting on Cybernetics and Systems Research (EMCSR 2006)
<URL:http://www.osgk.ac.at/emcsr/>

 
Cover, AAI Journal, Taylor and Francis 
Petta P., Müller J.P. (ed.): Best of "From Agent Theory to Agent Implementation 4",
Applied Artificial Intelligence, 20(2-4), 2006.
 
Petta P., Müller J.P. (ed.): Best of "From Agent Theory to Agent Implementation 3",
Applied Artificial Intelligence, 16(9-10), 2002.
 
Petta P., Müller J. (ed.): From Agent Theory to Agent Implementation: Best of AT2AI-1,
Applied Artificial Intelligence, 14(7), 2000.

The symposium schedule has been published

 

Table of contents

Introduction

Since its first edition in 1998, the symposium series "From Agent Theory to Agent Implementation" has been not only documenting the progress in agent-related technologies, but also managed to contribute to the rapid development of this area. AT2AI actively promotes the exchange of ideas and experiences between researchers and practitioners working on the whole range of theoretical and application-oriented issues of agent technology, covering both the micro and macro aspects of agent design and the transition from drawing boards and partly idealised models, over modelling tools and frameworks, to deployment, configuration and maintenance of implementations.

AT2AI-3 (http://www.ofai.at/research/agents/conf/at2ai3/) produced a first blueprint of a layered ecology of technologies for the development of agent based applications (cf. the editorial of Applied Artificial Intelligence 16(9-10), 2003). This perspective considers middleware, tools, off-the shelf platforms, integrated development environments (IDEs), and the like, with respect to their practical value to improve the applications delivered. The qualities of these support technologies can in turn be improved and better exploited with the design of architectural frameworks and the deployment of standards. The evolution of these in turn can be assisted by the development of sound theoretical foundations and related formal methods. Methodologies are considered as working know-that and know-how, capturing and maintaining the best practises how to identify, align, and process application- and environment-derived (bottom-up) and support technology related (top-down) requirements and options.


       m ---------------------------------------------------+
         e                                                  |
       |   t                 theoretical foundations        |
       |     h                                              |
       |       o -----------------------------------------+ |
       |         d                                        | |
       |       |   o               standards              | |
       |       |     l                                    | |
       |       |       o -------------------------------+ | |
       |       |         g                              | | |
       |       |       |   i       middleware           | | |
       |       |       |     e                          | | |
       |       |       |       s ---------------+       | | |
       |       |       |                        |       | | |
       |       |       |  IDEs |  APPLICATIONS  | tools | | |
       |       |       |       |                |       | | |
       |       |       |       +----------------+       | | |
       |       |       |    off-the-shelf platforms     | | |
       |       |       +--------------------------------+ | |
       |       |                   architectures          | |
       |       +------------------------------------------+ |
       |                        formal methods              |
       +----------------------------------------------------+

AT2AI-4 (http://www.ofai.at/research/agents/conf/at2ai4/) produced an updated inventory against the maturing field: the status of logic-based approaches was addressed in particular in the discussions; but evidence was also provided for how routine consideration of a multitude of perspectives is approaching the requirements posed by serious application needs (including e.g. issues of privacy and flexible access right management). Results have been collected in the forthcoming double issue of Applied AI 20(4-5), 2006 (April).

The present edition of AT2AI gets further leverage by the significant work originated in the AgentLink IIITechnical Forum Group on Programming Multi-Agent Systems (PROMAS). The topics of discussion addressed there bear an immediate close relationship to the main concerns of AT2AI.


Of particular relevance to the symposium is work that provides insights on experiences and lessons learnt when applying specific agent theories or architectures to application problems, and that discusses methods, methodologies, and other tools that can help system designers to successfully accomplish the mapping between available agent technology on the one hand, and application problems on the other.

Topics of interest therefore include

Submissions should cast the presentation in terms of the above schema (or proposed well-founded changes to it).
As the previous editions of AT2AI (in 1998, 2000, 2002, and 2004) have shown, this is a significant aid for the workshop audience to grasp more readily the significance of the work presented and relate it to their own activities: the quality and variety of feedback provided to authors improves accordingly, often leading to persisting fruitful contacts.

Accepted Papers

Jiri Biba, Jiri Vokrinek
Agent Cooperation in Competitive Environments
Luca Ferrari, Franco Zambonelli, Giacomo Cabri
Agents and Ambient Intelligence: the LAICA Experience
Rubén Fuentes-Fernández, Jorge J. Goméz-Sanz, Juan Pavon
Activity Theory Patterns for the Runtime Analysis of Multi-Agent Systems
Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic p-Calculus: Detecting Abnormal Behaviour in MAS
Hela Hachicha, Adlen Loukil, Khaled Ghedira
A CASE Tool supported methodology for the design of Mobile Agent Systems
James Kramer, Matthias Scheutz
ADE: Filling a Gap Between Single and Multiple Agent Systems
João Leite, Luís Soares
Evolving Characters in Role Playing Games
Bruno Mermet, Dominique Fournier, Gaële Simon
An agent compositional proof system
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgo: An Infrastructure for Artifacts in MAS

Symposium Schedule:

FRIDAY, 21.4.2004
10:50-11:00Welcome
11:00-13:00Session 1
Evolving Characters in Role Playing Games
João Leite, Luís Soares
An agent compositional proof system
Bruno Mermet, Dominique Fournier, G. Simon
Agent Cooperation in Competitive Environments
Jiri Biba, Jiri Vokrinek
Activity Theory Patterns for the Runtime Analysis of Multi-Agent Systems
Rubén Fuentes-Fernández, Jorge J. Goméz-Sanz, Juan Pavon
Exploring the Dynamics of Self-Organising Systems with Stochastic p-Calculus:
Detecting Abnormal Behaviour in MAS Activity Theory Patterns for the Runtime Analysis of Multi-Agent Systems
Luca Gardelli, Mirko Viroli, Andrea Omicini
 
13:00-14:00Lunch Break
 
14:00-16:00Session 2
Agents and Ambient Intelligence: the LAICA Experience
Luca Ferrari, Franco Zambonelli, Giacomo Cabri
A CASE Tool supported methodology for the design of Mobile Agent Systems
Hela Hachicha, Adlen Loukil, Khaled Ghedira
Towards a hybrid agent architecture for crowd modeling and simulation
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
ADE: Filling a Gap Between Single and Multiple Agent Systems
James Kramer, Matthias Scheutz
CArtAgo: An Infrastructure for Artifacts in MAS
Alessandro Ricci, Mirko Viroli, Andrea Omicini

 

Related EMCSR'06 Symposium:

ABModSim: Agent-Based Modeling and Simulation (April 19-20)

Organisation

Jörg P. Müller    mueller @AT@ in.tu-clausthal.de
Paolo Petta Paolo.Petta@MedUniWien.ac.at

Important Dates

Paper submission deadline:     December   2, 2005
Notifications of acceptance/rejection:     after December  16, 2005
  early January  2006
Camera-ready copies due:   January  30, 2006
Early registration deadline:   January  30, 2006
Symposium date:   April  21, 2006

Other Editions

Further Information

For further information, please see the EMCSR 2006 Web site: <URL:http://www.osgk.ac.at/emcsr/>


Valid HTML 4.01! EMCSR 2006
Paolo.Petta@ofai.at

Last modified: Mon Nov 9 16:13:41 CET 2009