Wednesday, April 14, a.m. Room 46

Symposium L: AT2AI-4: From Agent Theory to Agent Implementation
J.P.Müller, Germany, and P.Petta, Austria

Welcome (Jörg Müller & Paolo Petta)
Session 1: Runtime I

PROSOCS: A Platform for Programming Software Agents in Computational Logic
K. Stathis, W. Lu, A. Kakas, N. Demetriou, U. Endriss, A. Bracciali, Universita di Pisa, Italy

A Testbed for Agent Mediated Service Composition
A. Poggi, M. Tomaiuolo, P. Turci, Universita degli Studi di Parma, Italy

Multi-Agent Systems as Web Service Providers - Distributing SOAP Requests to Agents by Redirection
M. Sonntag, Johannes Kepler University, Linz, Austria

Enforcing Privacy via Brokering within Nomadic Environment
L. Titkov, S. Poslad, J.J. Tan, University of London, England
Session 2: Innovation

From Entropy to Ontology
J. Calmet, A. Daemi, Universität Karlsruhe (TH) , Germany

Robustness of Social Knowledge in Multi-Agent Systems
P. Tichy, Rockwell Automation Research Center and Czech Technical University, Prague, Czech Republic

From the Philosophy of Personal Identity to the Laws of Agent Societies
L. Bölöni, University of Central Florida, USA
Coffee Break
Session 3: Runtime II

A Semantics for the Interaction of Agents with Coordination Artifacts
M. Viroli, A. Ricci, A. Omicini, DEIS, Universita degli Studi di Bologna, Italy

Compliance Verification of Agent Interaction: a Logic-Based Software Tool
M. Alberti, M. Gavanelli, E. Lamma, F. Chesani, P. Mello, P. Torroni, Universita di Ferrara, Italy

A Generic Simulation Service for Distributed Multi-Agent Systems
L. Braubach, A. Pokahr, W. Lamersdorf, K.-H. Krempels, P.-O. Wölk,Universität Hamburg, Germany
Wrap up discussion 1st day