Computational Logic in Multi-Agent Systems

1. Front Matter

   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

    PDF

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.

• agent interaction
• argumentation networks
• distributed systems
• formal semantics
• goals

• 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

Policies and ethics