Skip to main content
  • Conference proceedings
  • © 2006

Computational Logic in Multi-Agent Systems

6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

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

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

Conference series link(s): CLIMA: International Workshop on Computational Logic and Multi-Agent Systems

Conference proceedings info: CLIMA 2005.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (26 papers)

  1. Front Matter

  2. The Logical Way to Be Artificially Intelligent

  3. Foundational Aspects of Agency

    1. Ability in a Multi-agent Context: A Model in the Situation Calculus

      • Laurence Cholvy, Christophe Garion, Claire Saurel
      Pages 23-36
    2. Logical Spaces in Multi-agent Only Knowing Systems

      • Bjørnar Solhaug, Arild Waaler
      Pages 77-95
    3. Trustworthiness by Default

      • Johan W. Klüwer, Arild Waaler
      Pages 96-111
    4. Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

      • Regimantas Pliuškevičius, Aida Pliuškevičienė
      Pages 112-128
  4. Agent Programming

    1. BDI Agent Programming in AgentSpeak Using Jason

      • Rafael H. Bordini, Jomi F. Hübner
      Pages 143-164
    2. Multi-threaded Communicating Agents in Qu-Prolog

      • Keith L. Clark, Peter J. Robinson, Silvana Zappacosta Amboldi
      Pages 186-205
    3. Variety of Behaviours Through Profiles in Logic-Based Agents

      • Fariba Sadri, Francesca Toni
      Pages 206-225
    4. Contract-Related Agents

      • John Knottenbelt, Keith Clark
      Pages 226-242
  5. Agent Interaction and Normative Systems

    1. Specification and Verification of Agent Interaction Using Abductive Reasoning

      • Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
      Pages 243-264
    2. Verification of Protocol Conformance and Agent Interoperability

      • Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
      Pages 265-283
    3. Contextual Terminologies

      • Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
      Pages 284-302
    4. Constitutive Norms in the Design of Normative Multiagent Systems

      • Guido Boella, Leendert van der Torre
      Pages 303-319
    5. Combining Answer Sets of Nonmonotonic Logic Programs

      • Chiaki Sakama, Katsumi Inoue
      Pages 320-339
    6. Speculative Constraint Processing with Iterative Revision for Disjunctive Answers

      • Martine Ceberio, Hiroshi Hosobe, Ken Satoh
      Pages 340-357

Other Volumes

  1. Computational Logic in Multi-Agent Systems

Editors and Affiliations

  • Department of Computing, Imperial College London, UK

    Francesca Toni

  • DEIS, University of Bologna, Bologna, Italy

    Paolo Torroni

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Other ways to access