Computational Logic and Multi-Agent Systems: 4th International Workshop, Clima 2004, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Dix J. (ed.), Leite J. (ed.)1902956315, 354030200X

This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004.The 11 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on negotiation in MAS, planning in MAS, knowledge revision and update in MAS, and learning in BDI MAS.

---

Table of contents :
Table of Contents……Page 12
Distributed Algorithms for Dynamic Survivability of Multiagent Systems……Page 14
Programming Groups of Rational Agents……Page 29
An Abductive Framework for Information Exchange in Multi-agent Systems……Page 47
Fault Tolerant and Fixed Scalable Structure of Middle-Agents……Page 66
Symbolic Negotiation with Linear Logic……Page 84
Planning Experiments in the DALI Logic Programming Language……Page 102
A New HTN Planning Framework for Agents in Dynamic Environments……Page 121
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences……Page 147
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction……Page 172
Weighted Multi Dimensional Logic Programs……Page 191
(Dis)Belief Change Based on Messages Processing……Page 214
Learning in BDI Multi-agent Systems……Page 231
The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules……Page 247
Author Index……Page 264