AT2AI-4

Fourth International Symposium
"From Agent Theory to Agent Implementation"

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

Chairs: Jörg Müller and Paolo Petta

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

April 14 - 16, 2004, Vienna, Austria (EU)

 
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(4-5), 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.

 

 

Table of contents

News:

23 Apr 2004:
29 Jan 2004:
 7 Jan 2004:
17 Dec 2003:
23 Oct 2003:
19 Sep 2003:
14 Aug 2003:

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 modeling 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. 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 practices 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              |
       +----------------------------------------------------+


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, and 2002) 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 Submissions:

[final paper received] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Compliance Verification of Agent Interaction: a Logic-based Tool
[final paper received] Virgil Andronache, Matthias Scheutz
ADE - A Tool for the Development of Distributed Architectures for Virtual and Robotic Agents
[final paper received] Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Towards a Specification and Execution Environment for Simulations based on MMASS: Managing at-a-distance Interaction
[final paper received] Ladislau Bölöni
From the philosophy of personal identity to the laws of agent societies
[final paper received] Lars Braubach, Alexander Pokahr, Winfried Lamersdorf, Karl-Heinz Krempels, Peer-Oliver Woelk
A Generic Simulation Service for Distributed Multi-Agent Systems
[final paper received] Giovanni Caire, Massimo Cossentino, Alessandro Negri, Agostino Poggi, Paola Turci
Multi-Agent System Implementation and Testing
[final paper received] Jacques Calmet, Anusch Daemi
From entropy to ontology
[final paper received] Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón
Towards Requirements Elicitation in Multi-Agent Systems
[final paper received] Marc-Philippe Huget
Representing Goals in Multiagent Systems
[final paper received] Bernhard Jung, Paolo Petta
Improving upon the TAEMS/DTC framework in the context of coordinated scheduling
[final paper received] Marco Mamei, Franco Zambonelli
Theory and Practice of Field-based Motion Coordination in Multiagent Systems
[final paper received] Pavlos Moraitis, Nikolaos Spanoudakis
Combining Gaia and JADE for Multi-Agent Systems Development
[final paper received] Agostino Poggi, Michele Tomaiuolo, Paola Turci
A test bed for agent mediated service composition
[final paper received] Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts: From Theory to Practice
[final paper received] Michael Sonntag
Multi agent systems as web service providers - Distributing SOAP requests to agents by redirection
[final paper received] Kostas Stathis, Antonis Kakas, Wenjin Lu, Neophytos Demetriou, Ulle Endriss, Andrea Bracciali
PROSOCS: a platform for programming software agents in computational logic
[final paper received] Juan Jim Tan, Stefan Poslad, Leonid Titkov
An Ontological Approach to Harmonising Security Models for Open Services
[final paper received] Pavel Tichy
Robustness of Social Knowledge in Multi-Agent Systems
[final paper received] Leonid Titkov, Stefan Poslad, Juan Jim Tan
Enforcing Privacy via Brokering within Nomadic Environment
[final paper received] Mirko Viroli, Alessandro Ricci, Andrea Omicini
A Semantics for the interaction of agents with coordination artifact

Symposium Schedule:

WEDNESDAY, 14.4.2004
10:50-11:00Welcome (Jörg Müller & Paolo Petta: Welcome)
11:00-13:00Session 1: Runtime I
Download Presentation (PDF)PROSOCS: a platform for programming software agents in computational logic
Kostas Stathis, Antonis Kakas, Wenjin Lu, Neophytos Demetriou, Ulle Endriss, Andrea Bracciali
Download Presentation (MS PowerPoint)A test bed for agent mediated service composition
Agostino Poggi, Tomaiuolo Michele, Turci Paola
Download Presentation (PDF)Multi agent systems as web service providers - Distributing SOAP requests to agents by redirection
Michael Sonntag
Download Presentation (MS PowerPoint)Enforcing Privacy via Brokering within Nomadic Environment
Leonid Titkov, Stefan Poslad, Juan Jim Tan
13:00-14:00Lunch Break
14:00-15:30Session 2: Innovation
Download Presentation (MS PowerPoint)From entropy to ontology
Jacques Calmet, Anusch Daemi
Download Presentation (MS PowerPoint)Robustness of Social Knowledge in Multi-Agent Systems
Pavel Tichy
Download Presentation (MS PowerPoint)From the philosophy of personal identity to the laws of agent societies
Ladislau Boloni
15:30-16:00Coffee Break
16:00-17:30Session 3: Runtime II
Download Presentation (MS PowerPoint)A Semantics for the interaction of agents with coordination artifact
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Download Presentation (PDF)Compliance Verification of Agent Interaction: a Logic-based Tool
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Download Presentation (PDF)A Generic Simulation Service for Distributed Multi-Agent Systems
Lars Braubach, Alexander Pokahr, Winfried Lamersdorf, Karl-Heinz Krempels, Peer-Oliver Woelk
17:30-18:00Wrap up discussion 1st day
 
THURSDAY, 15.4.2004
14:00-15:30Session 4: Methods/-ologies I
Download Presentation (PDF)Towards Requirements Elicitation in Multi-Agent Systems
Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón
Download Presentation (MS PowerPoint)Representing Goals in Multiagent Systems
Marc-Philippe Huget
Download Presentation (MS PowerPoint)An Ontological Approach to Harmonising Security Models for Open Services
Juan Jim Tan, Stefan Poslad, Leonid Titkov
15:30-16:00Coffee Break
16:00-17:30Session 5: Methods/-ologies II
Download Presentation (PDF)Combining Gaia and JADE for Multi-Agent Systems Development
Pavlos Moraitis, Nikolaos Spanoudakis
Download Presentation (PDF)ADE - A Tool for the Development of Distributed Architectures for Virtual and Robotic Agents
Virgil Andronache, Matthias Scheutz
Download Presentation (MS PowerPoint)Multi-Agent System Implementation and Testing
Giovanni Caire, Massimo Cossentino, Alessandro Negri, Agostino Poggi, Paola Turci
17:30-18:00Wrap up discussion 2nd day
 
FRIDAY, 16.4.2004
11:00-13:00Session 6: Coordination
Download Presentation (PDF)Agent Coordination Contexts: From Theory to Practice
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Download Presentation (PDF)Improving upon the TAEMS/DTC framework in the context of coordinated scheduling
Bernhard Jung, Paolo Petta
Download Presentation (MS PowerPoint)Theory and Practice of Field-based Motion Coordination in Multiagent Systems
Marco Mamei, Franco Zambonelli
Download Presentation (PDF)Towards a Specification and Execution Environment for Simulations based on MMASS: Managing at-a-distance Interaction
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
13:00-13:15Wrap up
 
13:30-14:45Session 7: Joint Lunch

Organisation:

Session Chairs:

Jörg P. Müller    joerg.p.mueller@siemens.com
Paolo Petta Paolo.Petta@ofai.at

Programme Committee:

Ardissono, Liliana
Bauer, Bernhard
Bazzan, Ana Lucia
Calisti, Monique
Coelho, Helder
Dickinson, Ian J.
Dignum, Frank
Fischer, Klaus
Flake, Stephan
  
Gadomski, Adam-Maria
Gandon, Fabien
Hanachi, Chihab
Hoek, Wiebe van der
Jonker, Catholijn M.
Kirn, Stefan
Klusch, Matthias
Koch, Christoph
Labrou, Yannis
  
Lee, Lyndon C.
Marik, Vladimir
Meyer, John-Jules Ch.
Oliveira, Eugenio
Omicini, Andrea
Oprea, Mihaela
Ossowski, Sascha
Parunak, H. Van Dyke
Poggi, Agostino
  
Rana, Omer
Rimassa, Giovanni
Rocha, Ana Paula
Schroeder, Michael
Tolksdorf, Robert
Wagner, Gerd
Wagner, Tom
Wooldridge, Michael J.
Zambonelli, Franco

Preparation of extended journal contributions

Comments regarding requirements and suggestions for acceptance of extended and revised symposium papers for a special issue of the Applied Artificial Intelligence Journal will be sent to contact authors shortly. That message also covers instructions for authors beyond those available online at the Taylor&Francis website at http://www.tandf.co.uk/journals/authors/uaaiauth.asp.

Important Dates:

This is the production schedule for the special issue of the Applied Artificial Intelligence journal.
The double special issue has been scheduled as 20(4-5), 2006 (April).

Paper submission deadline:     November  14, 2003
Notifications of acceptance/rejection:     January  7, 2004
Camera-ready copies due:   January  30, 2004
Early registration deadline:   January  30, 2004
Symposium date:   April  14-16, 2004
Revised and extended journal submissions due:   July  9, 2004
Reviews due to authors:   October  9, 2004
Final revised and extended journal submissions due:   October  22, 2004
Journal publication date:   Early  2005 2006 (20(4-5), April)

Other Editions


EMCSR 2004
ÖFAI IMKAI
Paolo.Petta@ofai.at

Last modified: Mon Nov 9 16:18:43 CET 2009