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

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

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Leite, João (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Lecture Notes in Artificial Intelligence ; 3259
Springer eBook Collection.
Subjects:
Artificial intelligence.
Computer communication systems.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items