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

Invited Papers.- Distributed Algorithms for Dynamic Survivability of Multiagent Systems.- Programming Groups of Rational Agents.- Negotiation in Multi-agent Systems.- An Abductive Framework for Information Exchange in Multi-agent Systems.- Fault Tolerant and Fixed Scalable Structure of Middle-Agents.- Symbolic Negotiation with Linear Logic.- Planning in Multi-agent Systems.- Planning Experiments in the DALI Logic Programming Language.- A New HTN Planning Framework for Agents in Dynamic Environments.- Knowledge Revision and Update in Multi-agent Systems.- Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.- A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.- Weighted Multi Dimensional Logic Programs.- (Dis)Belief Change Based on Messages Processing.- Learning in BDI Multi-agent Systems.- Learning in BDI Multi-agent Systems.- The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules.