Skip to main content
SpringerLink
Log in

Computational Logic in Multi-Agent Systems

15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Nils Bulling

    1. Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leendert Torre

    1. University of Luxembourg, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Serena Villata

    1. Inria Sophia Antipolis-Méditerranée, Sophia Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Wojtek Jamroga

    1. University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Wamberto Vasconcelos

    1. Department of Computing Science, University of Aberdeen, Aberdeen, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CLIMA 2014.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Main Session

    1. On the Complexity of Two-Agent Justification Logic

      • Antonis Achilleos
      Pages 1-18

    2. Fair Allocation of Group Tasks According to Social Norms

      • Natasha Alechina, Wiebe van der Hoek, Brian Logan
      Pages 19-34

    3. A Conceptual Model for Situated Artificial Institutions

      • Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier
      Pages 35-51

    4. Evolving Bridge Rules in Evolving Multi-Context Systems

      • Ricardo Gonçalves, Matthias Knorr, João Leite
      Pages 52-69

  3. Logics for Agreement Technologies

    1. Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic

      • Stefano Bistarelli, Fabio Rossi, Francesco Santini
      Pages 70-86

    2. Automated Planning of Simple Persuasion Dialogues

      • Elizabeth Black, Amanda Coles, Sara Bernardini
      Pages 87-104

    3. Empirical Evaluation of Strategies for Multiparty Argumentative Debates

      • Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis
      Pages 105-122

    4. How to Build Input/Output Logic

      • Xin Sun
      Pages 123-137

  4. Logics for Games, Strategic Reasoning, and Social Choice

    1. The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models

      • Daniel Eckert, Frederik Herzberg
      Pages 138-147

    2. A Behavioral Hierarchy of Strategy Logic

      • Fabio Mogavero, Aniello Murano, Luigi Sauro
      Pages 148-165

    3. Synthesis and Verification of Uniform Strategies for Multi-agent Systems

      • Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
      Pages 166-182

    4. Partial Information and Uniform Strategies

      • Hans van Ditmarsch, Sophia Knight
      Pages 183-198

  5. 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 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.
The 12 regular papers were carefully reviewed and selected from 20 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. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.

Editors and Affiliations

  • Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Nils Bulling

  • University of Luxembourg, Luxembourg, Luxembourg

    Leendert Torre

  • Inria Sophia Antipolis-Méditerranée, Sophia Antipolis, France

    Serena Villata

  • University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and Trust, Luxembourg, Luxembourg

    Wojtek Jamroga

  • Department of Computing Science, University of Aberdeen, Aberdeen, UK

    Wamberto Vasconcelos

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation