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.
Author(s): Dix J. (ed.), Leite J. (ed.)
Year: 2005
Language: English
Pages: 267
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
