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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Dix, Jürgen (Editor), Leite, João (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
• Series: Lecture Notes in Computer Science, 3259
• Subjects: Computer science.; Computer communication systems.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Mathematical Logic and Formal Languages.

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its promis...

Table of Contents:

• 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.