_____ ___ _ _____ _____ _____ _____ _____
| _ \ / | | | |_ _| /___ \ / _ \ / _ \ | ___|
| | | | / /| | | | | | ___| | | | | | | | | | | |___
| | | | / / | | | | | | / ___/ | |/| | | |/| | \___ \
| |_| | / / | | | |___ | | | |___ | |_| | | |_| | ___| |
|_____/ /_/ |_| |_____| |_| |_____| \_____/ \_____/ \_____|
3rd International Workshop on
Declarative Agent Laguages and Technologies, DALT 2005
(at A A M A S 2 0 0 5)
U t r e c h t, July 25th or 26th, 2005
URL: http://www.doc.ic.ac.uk/~ue/DALT-2005/
*Call for Papers*
"Declarative Agent Languages and Technologies", in its third edition
this year, is an well-established venue for researchers interested
in sharing their experiences in declarative and formal aspects of
agents and multi-agent systems, on the one hand, and in engineering
and technology on the other. Today it is still a challenge to deve-
lop technologies that can satisfy the requirements of complex agent
systems. Importantly, building multi-agent systems still calls for
models and technologies that ensure predictability, enable feature
discovery, allow the verification of properties, and guarantee fle-
xibility. Declarative approaches are potentially a valuable means
for satisfying the needs of multi-agent systems developers and for
specifying multi-agent systems.
The main goal of DALT is to provide a discussion to both (1) support
the transfer of declarative paradigms and techniques into the broa-
der community of agent researchers and practitioners, and (2) to
bring the issues of designing real-world and complex agent system to
the attention of researchers working on declarative programming and
technologies.
DALT topics of interst include, but are not limited to:
* Declarative agent communication and coordination languages
* Declarative approaches to the engineering of agent systems
* Experimental studies of declarative technologies
* Industrial and commercial experiences with declarative agent
technologies
* Formal methods for the specification and verification of agent
systems
* Distributed constraint satisfaction and constraint reasoning
in agents
* Multi-criteria optimisation and distributed problem solving
with constraints
* Computational logics in multi-agent systems
* Model Checking MAS
* Declarative description of contracts and negotiation issues
* Lessons learned from the design and implementation of agent
systems
* Declarative paradigms for the combination of heterogeneous agents
* Constraints and agent systems
* Declarative policies and security in MAS
* Knowledge-based and knowledge-intensive MAS
* Modeling of agent rationality
*Proceedings*
A printed volume with the proceedings will be available at the work-
shop. Authors of papers presented at the workshop will be asked to
extend their contributions, possibly incorporating the results of
the workshop discussion, to be included in the workshop post-procee-
dings to be published in a journal special issue or a book. The DALT
2003 and 2004 post-proceedings are published by Springer as a volume
of the Lecture Notes on Artificial Intelligence series.
*Submission instructions*
Papers should be written in English, formatted according to the
Springer LNCS style, and not exceed 16 pages. Paper submission is
electronic via the conference home page.
*Important dates*
Submission: March 14th, 2005
Notification of acceptance: April 18th, 2005
Final version: May 15th, 2005
Workshop: July 25th or 26th, 2005
*Program Committee*
Rafael Bordini, University of Durham, UK
Brahim Chaib-draa, Laval University, Canada
Alessandro Cimatti, IRST, Trento, Italy
Keith Clark, Imperial College London, UK
Marco Colombetti, Politecnico di Milano, Italy
Stefania Costantini, University of L'Aquila, Italy
Mehdi Dastani, Universiteit Utrecht, The Netherlands
Juergen Dix, University of Clausthal, Germany
Boi Faltings, Ecole Polytechnique Federale de Lausanne, Swiss
Michael Fisher, University of Liverpool, UK
Wiebe van der Hoek, University of Liverpool, UK
Mike Huhns, University of South Carolina, USA
Catholijn Jonker, Nijmegen Institute for Cognition and Information,
The Netherlands
Peep Kungas, Norwegian University of Science and Technology,
Trondheim, Norway
Alessio Lomuscio, University College London, UK
Viviana Mascardi, DISI, Genova, Italy
John Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
Eric Monfroy, University of Nantes, France
Sascha Ossowski, Universidad Rey Juan Carlos, Spain
Julian Padget, University of Bath, UK
Lin Padgham, RMIT University, Australia
Wojciech Penczek, Polish Academy of Science, Poland
Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal
Enrico Pontelli, New Mexico State University, USA
Juan Rodriguez-Aguilar, Spanish Research Council, Spain
Marek Sergot, Imperial College London, UK
Francesca Toni, Imperial College London, UK
Wamberto Vasconcelos, University of Aberdeen, UK
Michael Winikoff, RMIT University, Australia
Franco Zambonelli, University of Modena and Reggio Emilia, Italy
*Workshop organizers*
Matteo Baldoni, University of Turin, Italy
Ulle Endriss, Imperial College London, UK
Andrea Omicini, University of Bologna - Cesena, Italy
Paolo Torroni, University of Bologna, Italy
