Skip to main content
  • Conference proceedings
  • © 2010

Computational Logic in Multi-Agent Systems

11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

  • fast-track conference proceedings

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

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

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. Hypergraphs of Multiparty Secrets

      • Sara Miner More, Pavel Naumov
      Pages 15-32
    2. Combining Logics in Simple Type Theory

      • Christoph Benzmüller
      Pages 33-48
    3. Speculative Abductive Reasoning for Hierarchical Agent Systems

      • Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
      Pages 49-64
    4. Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes

      • Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández-Quiroz
      Pages 65-81
    5. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior

      • Özgür Kafalı, Federico Chesani, Paolo Torroni
      Pages 82-98
    6. Verifying Business Process Compliance by Reasoning about Actions

      • Davide D’Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
      Pages 99-116
    7. From Organisation Specification to Normative Programming in Multi-Agent Organisations

      • Jomi F. Hübner, Olivier Boissier, Rafael H. Bordini
      Pages 117-134
    8. Finding Uniform Strategies for Multi-agent Systems

      • Jan Calta, Dmitry Shkatov, Holger Schlingloff
      Pages 135-152
    9. Playing Extensive Form Games in Parallel

      • Sujata Ghosh, R. Ramanujam, Sunil Simon
      Pages 153-170
    10. Exploring the Boundary of Half Positionality

      • Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
      Pages 171-185
    11. Model Checking Agent Programs by Using the Program Interpreter

      • Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 219-237
  3. Back Matter

Other Volumes

  1. Computational Logic in Multi-Agent Systems

About this book

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. 

The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning. 




Keywords

  • Multi-agent system
  • agent interaction
  • agents
  • computational complexity
  • normative programming
  • programming
  • satisfiability
  • temporal logic

Editors and Affiliations

  • Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  • Departamento de Informática, Universidade Nova de Lisboa, Faculdade de Ciências de Tecnologia, Caparica, Portugal

    João Leite

  • NICTA,, St Lucia, Australia

    Guido Governatori

  • University of Luxembourg, Campus Kirchberg, 6, rue, Richard Coudenhove-Kalergi, Luxembourg, Luxembourg

    Wojtek Jamroga

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