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)

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

• Latest News (updated Fri, 23 Apr 2004)
• Introduction
• Accepted Papers
• Symposium Schedule
• Organisation
• Preparation of extended journal contributions
• Important Dates
• Other Editions

News:

23 Apr 2004:

• Documentation of Session 7 added.

29 Jan 2004:

• Symposium Schedule online.

 7 Jan 2004:

• Notifications sent, 20 out of 34 papers accepted.
• Early registration ends January 30, 2004!

17 Dec 2003:

• Reviewing process (34 submissions) extended until after December 21, 2003.

23 Oct 2003:

• Electronic submission facilities online.

19 Sep 2003:

• PC confirmed

14 Aug 2003:

• Web site on-line

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:

• Conceptual and theoretical foundations
• Agent languages and architectures
• Learning and adaptability
• Communication, coordination and collaboration
• Social issues in agent societies
• Safety, security, and responsibility
• Granularities of system design (single-agent, multi-agent, ant ...)
• Agents vs. Middleware
• Development and engineering methodologies
• User interfaces and usability
• Testbeds and evaluations
• Applications of agent technology in routine use

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:

 Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Compliance Verification of Agent Interaction: a Logic-based Tool

 Virgil Andronache, Matthias Scheutz

ADE - A Tool for the Development of Distributed Architectures for Virtual and Robotic Agents

 Stefania Bandini, Sara Manzoni, Giuseppe Vizzari

Towards a Specification and Execution Environment for Simulations based on MMASS: Managing at-a-distance Interaction

 Ladislau Bölöni

From the philosophy of personal identity to the laws of agent societies

 Lars Braubach, Alexander Pokahr, Winfried Lamersdorf, Karl-Heinz Krempels, Peer-Oliver Woelk

A Generic Simulation Service for Distributed Multi-Agent Systems

 Giovanni Caire, Massimo Cossentino, Alessandro Negri, Agostino Poggi, Paola Turci

Multi-Agent System Implementation and Testing

 Jacques Calmet, Anusch Daemi

From entropy to ontology

 Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón

Towards Requirements Elicitation in Multi-Agent Systems

 Marc-Philippe Huget

Representing Goals in Multiagent Systems

 Bernhard Jung, Paolo Petta

Improving upon the TAEMS/DTC framework in the context of coordinated scheduling

 Marco Mamei, Franco Zambonelli

Theory and Practice of Field-based Motion Coordination in Multiagent Systems

 Pavlos Moraitis, Nikolaos Spanoudakis

Combining Gaia and JADE for Multi-Agent Systems Development

 Agostino Poggi, Michele Tomaiuolo, Paola Turci

A test bed for agent mediated service composition

 Alessandro Ricci, Mirko Viroli, Andrea Omicini

Agent Coordination Contexts: From Theory to Practice

 Michael Sonntag

Multi agent systems as web service providers - Distributing SOAP requests to agents by redirection

 Kostas Stathis, Antonis Kakas, Wenjin Lu, Neophytos Demetriou, Ulle Endriss, Andrea Bracciali

PROSOCS: a platform for programming software agents in computational logic

 Juan Jim Tan, Stefan Poslad, Leonid Titkov

An Ontological Approach to Harmonising Security Models for Open Services

 Pavel Tichy

Robustness of Social Knowledge in Multi-Agent Systems

 Leonid Titkov, Stefan Poslad, Juan Jim Tan

Enforcing Privacy via Brokering within Nomadic Environment

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

Organisation:

Session Chairs:

Programme Committee:

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

• For information on previous editions of AT2AI, see: AT2AI-3, AT2AI-2, AT2AI-1
• For information on following editions of AT2AI, see: AT2AI-5, AT2AI-6, AT2AI-7

EMCSR 2004

Paolo.Petta@ofai.at Last modified: Mon Nov 9 16:18:43 CET 2009