[TYPES] CLIMA V - Call for Participation

[Joao Leite]

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
                      Call for Participation

                             CLIMA V

Fifth International Workshop on Computational Logic in Multi-Agent Systems

      http://centria.di.fct.unl.pt/~jleite/climaV/index.htm

                      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, Llums Godo, Carles Sierra
- Verifying protocol conformance for logic-based communicating agents by Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
- Solving Collaborative Fuzzy Agents Problems with CLP(FD) by Susana Muqoz Hernandez, Jose Manuel Gsmez Pirez
- 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 Josi 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