Skip to main content
SpringerLink
Log in
Book cover

Computational Logic in Multi-Agent Systems

13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Michael Fisher

    1. Department of Computer Science, University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leon Torre

    1. University of Luxembourg, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mehdi Dastani

    1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Guido Governatori

    1. Queensland Research Laboratory, NICTA, St. Lucia, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast rack conference proceedings
  • Unique visuability
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: CLIMA 2012.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report

    • Dov Gabbay
    Pages 1-24

  3. Multi-agent Only-Knowing

    • Gerhard Lakemeyer
    Pages 25-25

  4. Logics for Reasoning about Agents’ Attitudes in Strategic Contexts

    • Emiliano Lorini
    Pages 26-26

  5. A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents

    • Isaac Pinyol
    Pages 27-42

  6. Distributed Defeasible Speculative Reasoning in Ambient Environment

    • Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe
    Pages 43-60

  7. A Formal Semantics for Agent (Re)Organization

    • Frank Dignum, Virginia Dignum
    Pages 61-76

  8. Epistemic ATL with Perfect Recall, Past and Strategy Contexts

    • Dimitar P. Guelev, Catalin Dima
    Pages 77-93

  9. Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters

    • Matei Popovici
    Pages 94-109

  10. Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

    • Isabelle Mirbel, Serena Villata
    Pages 110-127

  11. A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks

    • Nils Bulling, Michael Köster, Matei Popovici
    Pages 128-145

  12. MKNF Knowledge Bases in Multi-Context Systems

    • Martin Homola, Matthias Knorr, João Leite, Martin Slota
    Pages 146-162

  13. Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning

    • Ben Wright, Enrico Pontelli, Tran Cao Son
    Pages 163-180

  14. Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation

    • Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
    Pages 181-194

  15. A Numerical Approach to the Merging of Argumentation Networks

    • Dov Gabbay, Odinaldo Rodrigues
    Pages 195-212

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

Keywords

About this book

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. 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.

Editors and Affiliations

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

    Michael Fisher

  • University of Luxembourg, Luxembourg, Luxembourg

    Leon Torre

  • Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Mehdi Dastani

  • Queensland Research Laboratory, NICTA, St. Lucia, Australia

    Guido Governatori

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation