Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

Computational Logic in Multi-Agent Systems

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

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)

Conference series link(s): CLIMA: International Workshop on Computational Logic and Multi-Agent Systems

Conference proceedings info: CLIMA 2014.

Sections

Buy it now

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

  1. Front Matter

    PDF

  2. Main Session

    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

    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

    PDF
Back to top

Other Volumes

  1. Computational Logic in Multi-Agent Systems

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation