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.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Keywords

  • autonom
  • autonomous agents
  • communication
  • logic
  • multi-agent system
  • probabilistic reasoning
  • semantics
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions