Computational Logic in Multi-Agent Systems

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

  • Nils Bulling
  • Leendert van der Torre
  • Serena Villata
  • Wojtek Jamroga
  • Wamberto Vasconcelos
Conference proceedings CLIMA 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8624)

Table of contents

  1. Front Matter
  2. Main Session

    1. Natasha Alechina, Wiebe van der Hoek, Brian Logan
      Pages 19-34
    2. Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier
      Pages 35-51
    3. Ricardo Gonçalves, Matthias Knorr, João Leite
      Pages 52-69
  3. Logics for Agreement Technologies

    1. Stefano Bistarelli, Fabio Rossi, Francesco Santini
      Pages 70-86
    2. Elizabeth Black, Amanda Coles, Sara Bernardini
      Pages 87-104
    3. Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis
      Pages 105-122
    4. Xin Sun
      Pages 123-137
  4. Logics for Games, Strategic Reasoning, and Social Choice

    1. Fabio Mogavero, Aniello Murano, Luigi Sauro
      Pages 148-165
    2. Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
      Pages 166-182
    3. Hans van Ditmarsch, Sophia Knight
      Pages 183-198
  5. Back Matter

About these proceedings

Introduction

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.

Keywords

admissible semantics algorithms argumentation networks deontic logic dynamic logic programming knowledge representation logic programming modal logic model checking multi-agent systems normative systems specification verification

Editors and affiliations

  • Nils Bulling
    • 1
  • Leendert van der Torre
    • 2
  • Serena Villata
    • 3
  • Wojtek Jamroga
    • 4
  • Wamberto Vasconcelos
    • 5
  1. 1.Clausthal University of TechnologyClausthal-ZellerfeldGermany
  2. 2.University of LuxembourgLuxembourgLuxembourg
  3. 3.Inria Sophia Antipolis-MéditerranéeSophia AntipolisFrance
  4. 4.University of Luxembourg, Computer Science and Communication Research Unit, Interdisciplinary Centre of Security, Reliability and TrustLuxembourgLuxembourg
  5. 5.Department of Computing ScienceUniversity of AberdeenAberdeenUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-09764-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-09763-3
  • Online ISBN 978-3-319-09764-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349