Computational Logic in Multi-Agent Systems

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

Editors:

ISBN: 978-3-540-28060-6 (Print) 978-3-540-31857-6 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Foundations

    1. No Access

      Book Chapter

      Pages 1-15

      A Logic for Knowledge, Correctness, and Real Time

    2. No Access

      Book Chapter

      Pages 16-32

      Dynamic Logic for Plan Revision in Intelligent Agents

    3. No Access

      Book Chapter

      Pages 33-51

      Contextual Taxonomies

    4. No Access

      Book Chapter

      Pages 52-77

      From Logic Programs Updates to Action Description Updates

    5. No Access

      Book Chapter

      Pages 78-95

      Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs

  3. Architectures

    1. No Access

      Book Chapter

      Pages 96-110

      Declarative Agent Control

    2. No Access

      Book Chapter

      Pages 111-125

      Metareasoning for Multi-agent Epistemic Logics

    3. No Access

      Book Chapter

      Pages 126-143

      Graded BDI Models for Agent Architectures

  4. Interaction

    1. No Access

      Book Chapter

      Pages 144-160

      Inferring Trust

    2. No Access

      Book Chapter

      Pages 161-177

      Coordination Between Logical Agents

    3. No Access

      Book Chapter

      Pages 178-195

      A Computational Model for Conversation Policies for Agent Communication

    4. No Access

      Book Chapter

      Pages 196-212

      Verifying Protocol Conformance for Logic-Based Communicating Agents

  5. Planning and Applications

    1. No Access

      Book Chapter

      Pages 213-229

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

    2. No Access

      Book Chapter

      Pages 230-248

      Planning Partially for Situated Agents

    3. No Access

      Book Chapter

      Pages 249-264

      Desire-Space Analysis and Action Selection for Multiple Dynamic Goals

    4. No Access

      Book Chapter

      Pages 265-280

      Organising Software in Active Environments

  6. Back Matter

    Pages -