Logo - springer
Slogan - springer

Computer Science - Artificial Intelligence | Computational Logic in Multi-Agent Systems - 5th International Workshop, CLIMA V, Lisbon, Portugal,

Computational Logic in Multi-Agent Systems

5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Leite, João, Torroni, Paolo (Eds.)

2005, XII, 281 p. Also available online.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-540-31857-6

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-540-28060-6

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • About this book

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Content Level » Research

Keywords » agent communication - agent cooperation - agent learning - agent negotiation - agents - ai logics - artificial intelligence - bdi agents - computational logic - intelligence - logic - logic programming - mas - multi-agent system - semantics

Related subjects » Artificial Intelligence - Communication Networks - Theoretical Computer Science

Table of contents 

Foundations.- A Logic for Knowledge, Correctness, and Real Time.- Dynamic Logic for Plan Revision in Intelligent Agents.- Contextual Taxonomies.- From Logic Programs Updates to Action Description Updates.- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.- Architectures.- Declarative Agent Control.- Metareasoning for Multi-agent Epistemic Logics.- Graded BDI Models for Agent Architectures.- Interaction.- Inferring Trust.- Coordination Between Logical Agents.- A Computational Model for Conversation Policies for Agent Communication.- Verifying Protocol Conformance for Logic-Based Communicating Agents.- Planning and Applications.- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report.- Planning Partially for Situated Agents.- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals.- Organising Software in Active Environments.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Artificial Intelligence (incl. Robotics).