Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29--30, 2004. Revised selected and invited papers. (Q2570852)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29--30, 2004. Revised selected and invited papers. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29--30, 2004. Revised selected and invited papers. |
scientific article |
Statements
Computational logic in multi-agent systems. 5th international workshop, CLIMA V, Lisbon, Portugal, September 29--30, 2004. Revised selected and invited papers. (English)
0 references
31 October 2005
0 references
The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1061.68002). Indexed articles: \textit{Woźna, Bożena; Lomuscio, Alessio}, A logic for knowledge, correctness, and real time, 1-15 [Zbl 1081.68098] \textit{van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.}, Dynamic logic for plan revision in intelligent agents, 16-32 [Zbl 1081.68099] \textit{Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.}, Contextual taxonomies, 33-51 [Zbl 1081.68682] \textit{Alferes, José Júlio; Banti, Federico; Brogi, Antonio}, From logic programs updates to action description updates, 52-77 [Zbl 1081.68677] \textit{Homola, M.}, Dynamic logic programming: Various semantics are equal on acyclic programs, 78-95 [Zbl 1081.68685] \textit{Kakas, Antonis; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Toni, Francesca}, Declarative agent control, 96-110 [Zbl 1081.68686] \textit{Arkoudas, Konstantine; Bringsjord, Selmer}, Metareasoning for multi-agent epistemic logics, 111-125 [Zbl 1081.68678] \textit{Casali, Ana; Godo, Lluís; Sierra, Carles}, Graded BDI models for agent architectures, 126-143 [Zbl 1081.68681] \textit{Dastani, Mehdi; Herzig, Andreas; Hulstijn, Joris; van der Torre, Leendert}, Inferring trust, 144-160 [Zbl 1081.68096] \textit{Sakama, Chiaki; Inoue, Katsumi}, Coordination between logical agents, 161-177 [Zbl 1081.68688] \textit{Bentahar, Jamal; Moulin, Bernard; Meyer, John-Jules Ch.; Chaib-draa, Brahim}, A computational model for conversation policies for agent communication, 178-195 [Zbl 1081.68680] \textit{Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana; Schifanella, Claudio}, Verifying protocol conformance for logic-based communicating agents, 196-212 [Zbl 1081.68679] \textit{Satoh, Ken}, An application of global abduction to an information agent which modifies a plan upon failure -- preliminary report, 213-229 [Zbl 1081.68689] \textit{Mancarella, Paolo; Sadri, Fariba; Terreni, Giacomo; Toni, Francesca}, Planning partially for situated agents, 230-248 [Zbl 1081.68687] \textit{Han, David C.; Barber, K. Suzanne}, Desire-space analysis and action selection for multiple dynamic goals, 249-264 [Zbl 1081.68683] \textit{Hirsch, Benjamin; Fisher, Michael; Ghidini, Chiara; Busetta, Paolo}, Organising software in active environments, 265-280 [Zbl 1081.68684]
0 references
