Skip to main content
  • Conference proceedings
  • © 2010

Computational Logic in Multi-Agent Systems

10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

  • High quality selected papers
  • Unique visibility
  • State of the art research

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

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

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

  1. Front Matter

  2. Planning for Multiagent Using ASP-Prolog

    • Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen
    Pages 1-21
  3. Model Checking Normative Agent Organisations

    • Louise Dennis, Nick Tinnemeier, John-Jules Meyer
    Pages 64-82
  4. Operational Semantics for BDI Modules in Multi-agent Programming

    • Mehdi Dastani, Bas R. Steunebrink
    Pages 83-101
  5. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

    • Luke Hopton, Owen Cliffe, Marina De Vos, Julian Padget
    Pages 102-121
  6. Interacting Answer Sets

    • Chiaki Sakama, Tran Cao Son
    Pages 122-140
  7. Argumentation-Based Preference Modelling with Incomplete Information

    • Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
    Pages 141-157
  8. On the Implementation of Speculative Constraint Processing

    • Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
    Pages 178-195
  9. Back Matter

Other Volumes

  1. Computational Logic in Multi-Agent Systems

Editors and Affiliations

  • Institut für Informatik, Technische Universität Clausthal, Clausthal-Zellerfeld, Germany

    Jürgen Dix, Peter Novák

  • Department of Computer Science, University of Liverpool, Liverpool, UK

    Michael Fisher

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