Skip to main content
SpringerLink
Log in

Computational Logic in Multi-Agent Systems

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Francesca Toni

    1. Department of Computing, Imperial College London, UK

    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 3900)

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

Included in the following conference series:

Conference proceedings info: CLIMA 2005.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. The Logical Way to Be Artificially Intelligent

    1. The Logical Way to Be Artificially Intelligent

      • Robert Kowalski
      Pages 1-22

  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. Reasoning About Epistemic States of Agents by Modal Logic Programming

      • Linh Anh Nguyen
      Pages 37-56

    3. Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures

      • Thomas Ågotnes, Michal Walicki
      Pages 57-76

    4. Logical Spaces in Multi-agent Only Knowing Systems

      • Bjørnar Solhaug, Arild Waaler
      Pages 77-95

    5. Trustworthiness by Default

      • Johan W. Klüwer, Arild Waaler
      Pages 96-111

    6. 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. Implementing Temporal Logics: Tools for Execution and Proof

      • Michael Fisher
      Pages 129-142

    2. BDI Agent Programming in AgentSpeak Using Jason

      • Rafael H. Bordini, Jomi F. Hübner
      Pages 143-164

    3. Using the KGP Model of Agency to Design Applications

      • Fariba Sadri
      Pages 165-185

    4. Multi-threaded Communicating Agents in Qu-Prolog

      • Keith L. Clark, Peter J. Robinson, Silvana Zappacosta Amboldi
      Pages 186-205

    5. Variety of Behaviours Through Profiles in Logic-Based Agents

      • Fariba Sadri, Francesca Toni
      Pages 206-225

    6. 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
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

Keywords

Editors and Affiliations

  • Department of Computing, Imperial College London, UK

    Francesca Toni

  • DEIS, University of Bologna, Bologna, Italy

    Paolo Torroni

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation