Skip to main content
SpringerLink
Log in
Book cover

Computational Logic in Multi-Agent Systems

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

  • Conference proceedings
  • © 2005
Download book PDF

Overview

Editors:
  1. João Leite

    1. Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paolo Torroni

    1. DEIS, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3487)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CLIMA 2004.

Buy print copy

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Foundations

    1. A Logic for Knowledge, Correctness, and Real Time

      • Bożena Woźna, Alessio Lomuscio
      Pages 1-15
      Download chapter PDF

    2. Dynamic Logic for Plan Revision in Intelligent Agents

      • M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
      Pages 16-32
      Download chapter PDF

    3. Contextual Taxonomies

      • Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
      Pages 33-51
      Download chapter PDF

    4. From Logic Programs Updates to Action Description Updates

      • José Júlio Alferes, Federico Banti, Antonio Brogi
      Pages 52-77
      Download chapter PDF

    5. Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs

      • M. Homola
      Pages 78-95
      Download chapter PDF

  3. Architectures

    1. Declarative Agent Control

      • Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
      Pages 96-110
      Download chapter PDF

    2. Metareasoning for Multi-agent Epistemic Logics

      • Konstantine Arkoudas, Selmer Bringsjord
      Pages 111-125
      Download chapter PDF

    3. Graded BDI Models for Agent Architectures

      • Ana Casali, Lluís Godo, Carles Sierra
      Pages 126-143
      Download chapter PDF

  4. Interaction

    1. Inferring Trust

      • Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert van der Torre
      Pages 144-160
      Download chapter PDF

    2. Coordination Between Logical Agents

      • Chiaki Sakama, Katsumi Inoue
      Pages 161-177
      Download chapter PDF

    3. A Computational Model for Conversation Policies for Agent Communication

      • Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
      Pages 178-195
      Download chapter PDF

    4. Verifying Protocol Conformance for Logic-Based Communicating Agents

      • Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
      Pages 196-212
      Download chapter PDF

  5. Planning and Applications

    1. An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report

      • Ken Satoh
      Pages 213-229
      Download chapter PDF

    2. Planning Partially for Situated Agents

      • Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
      Pages 230-248
      Download chapter PDF

    3. Desire-Space Analysis and Action Selection for Multiple Dynamic Goals

      • David C. Han, K. Suzanne Barber
      Pages 249-264
      Download chapter PDF

    4. Organising Software in Active Environments

      • Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta
      Pages 265-280
      Download chapter PDF

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

  2. Computational Logic in Multi-Agent Systems

Keywords

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.

Editors and Affiliations

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

  • DEIS, University of Bologna, Bologna, Italy

    Paolo Torroni

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation