Skip to main content
  • Conference proceedings
  • © 2007

Computational Logic in Multi-Agent Systems

7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

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

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 2006.

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 (18 papers)

  1. Front Matter

  2. Regular Papers

    1. Acts of Commanding and Changing Obligations

      • Tomoyuki Yamada
      Pages 1-19
    2. Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming

      • Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
      Pages 20-40
    3. On a Linear Framework for Belief Dynamics in Multi-agent Environments

      • Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato
      Pages 41-59
    4. Answer Set Programming for Representing and Reasoning About Virtual Institutions

      • Owen Cliffe, Marina De Vos, Julian Padget
      Pages 60-79
    5. A Complete Probabilistic Belief Logic

      • Zining Cao
      Pages 80-94
    6. Prototyping 3APL in the Maude Term Rewriting Language

      • M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
      Pages 95-114
    7. A New Logical Semantics for Agent Communication

      • Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
      Pages 151-170
    8. Contextual Reasoning in Agent Systems

      • Stijn De Saeger, Atsushi Shimojima
      Pages 171-190
    9. An Argumentation-Based Negotiation for Distributed Extended Logic Programs

      • Iara Carnevale de Almeida, José Júlio Alferes
      Pages 191-210
    10. Belief Updating by Communication Channel

      • Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
      Pages 211-225
    11. On the Implementation of Global Abduction

      • Henning Christiansen
      Pages 226-245
    12. Adding Evolving Abilities to a Multi-Agent System

      • João Leite, Luís Soares
      Pages 246-265
  3. Contest Papers

    1. The Second Contest on Multi-Agent Systems Based on Computational Logic

      • Mehdi Dastani, Jürgen Dix, Peter Novák
      Pages 266-283
    2. Using Antimodels to Define Agents’ Strategy

      • Carlos Cares, Xavier Franch, Enric Mayol
      Pages 284-293
    3. Multi-Agent FLUX for the Gold Mining Domain (System Description)

      • Stephan Schiffel, Michael Thielscher
      Pages 294-303
    4. Using Jason to Implement a Team of Gold Miners

      • Rafael H. Bordini, Jomi F. Hübner, Daniel M. Tralamazza
      Pages 304-313
  4. Back Matter

Other Volumes

  1. Computational Logic in Multi-Agent Systems

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