18.196 conference on multi-agent systems

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Sat, 4 Sep 2004 05:01:51 +0100

               Humanist Discussion Group, Vol. 18, No. 196.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist_at_princeton.edu

         Date: Fri, 03 Sep 2004 07:23:10 +0100
         From: "Joao Leite" <jleite_at_di.fct.unl.pt>
         Subject: CLIMA V - Call for Participation

                       Call for Participation

                               CLIMA V
Fifth International Workshop on Computational Logic in Multi-Agent Systems


                        September 29-30, 2004
             Early Registration deadline: September 7th
                      Co-located with JELIA'04
                    With support from AgentLink

Technical Program includes:

1 invited talk
- Specification and verification of multiagent systems by Alessio Lomuscio

16 paper presentations:

- A Computational Model for Conversation Policies for Agent Communication
by Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
- An Application of Global Abduction to an Information Agent which Modifies
a Plan upon Failure - Preliminary Report - by Ken Satoh
- Coordination between Logical Agents by Chiaki Sakama, Katsumi Inoue
- Organising Software in Active Environments by Michael Fisher, Benjamin
Hirsch, Chiara Ghidini, Paolo Busetta
- Planning partially for situated agents by Paolo Mancarella, Fariba Sadri,
Giacomo Terreni, Francesca Toni
- Contextual Taxonomies by Davide Grossi, Frank Dignum, John-Jules Meyer
- Dynamic Logic for Plan Revision in Intelligent Agents by M. Birna van
Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
- Graded BDI Models for Agent Architectures. by Ana Casali, Lluís Godo,
Carles Sierra
- Verifying protocol conformance for logic-based communicating agents by
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio
- Solving Collaborative Fuzzy Agents Problems with CLP(FD) by Susana Muñoz
Hernández, Jose Manuel Gómez Pérez
- Inferring Trust by Mehdi Dastani, Andreas Herzig, Joris Hulstijn,
Leendert van der Torre
- Declarative agent control by Antonis Kakas, Paolo Mancarella, Fariba
Sadri, Kostas Stathis, Francesca Toni
- Metareasoning for multi-agent epistemic logics by Konstantine Arkoudas,
Selmer Bringsjord
- Desire-space Analysis and Action Selection for Multiple Dynamic Goals by
David C. Han, K. Suzanne Barber
- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic
Programs by Martin Homola
- From logic programs updates to action description updates by José Julio
Alferes, Federico Banti, Antonio Brogi

1 pannel discussion (title and moderator TBA)

We hope you can join this event.

Best regards,

Joao Leite and Paolo Torroni
Received on Sat Sep 04 2004 - 00:34:00 EDT

This archive was generated by hypermail 2.2.0 : Sat Sep 04 2004 - 00:34:02 EDT