Skip to main content
SpringerLink
Log in
Book cover

Computational Logic in Multi-Agent Systems

14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. João Leite

    1. CENTRIA and Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tran Cao Son

    1. Department of Computer Science, New Mexico State University, Las Cruces, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Paolo Torroni

    1. Dipartimento di Informatica: Scienza e Ingegneria (DISI), University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Leon Torre

    1. Computer Science and Communication Lab, University of Luxembourg, Luxembourg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Stefan Woltran

    1. Institute of Information Systems, Vienna University of Technology, Vienna, Austria

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

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

Included in the following conference series:

Conference proceedings info: CLIMA 2013.

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

  1. Front Matter

    Download chapter PDF

  2. From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences

    • Elena Cabrio, Sara Tonelli, Serena Villata
    Pages 1-17

  3. Analyzing the Equivalence Zoo in Abstract Argumentation

    • Ringo Baumann, Gerhard Brewka
    Pages 18-33

  4. On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

    • Adam Wyner, Trevor Bench-Capon, Paul Dunne
    Pages 34-50

  5. Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System

    • Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata
    Pages 51-68

  6. A Sequent-Based Representation of Logical Argumentation

    • Ofer Arieli
    Pages 69-85

  7. Instantiating Knowledge Bases in Abstract Dialectical Frameworks

    • Hannes Strass
    Pages 86-101

  8. Admissibility in the Abstract Dialectical Framework

    • Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran
    Pages 102-118

  9. Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation

    • Pierpaolo Dondio
    Pages 119-137

  10. Advanced SAT Techniques for Abstract Argumentation

    • Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
    Pages 138-154

  11. Web Based System for Weighted Defeasible Argumentation

    • Alsinet Teresa, Béjar Ramón, Francesc Guitart, Lluís Godo
    Pages 155-171

  12. Coalitional Responsibility in Strategic Settings

    • Nils Bulling, Mehdi Dastani
    Pages 172-189

  13. Symmetries and Epistemic Reasoning

    • Jeffrey Kane, Pavel Naumov
    Pages 190-205

  14. Accumulative Knowledge under Bounded Resources

    • Wojciech Jamroga, Masoud Tabatabaei
    Pages 206-222

  15. Time Is Up! – Norms with Deadlines in Action Languages

    • Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
    Pages 223-238

  16. External Transaction Logic with Automatic Compensations

    • Ana Sofia Gomes, José Júlio Alferes
    Pages 239-255

  17. Perceiving Rules under Incomplete and Inconsistent Information

    • Barbara Dunin-Kęplicz, Alina Strachocka
    Pages 256-272

  18. Using Agent JPF to Build Models for Other Model Checkers

    • Louise A. Dennis, Michael Fisher, Matt Webster
    Pages 273-289

  19. Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL

    • Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
    Pages 290-306

  20. A Temporal Argumentation Approach to Cooperative Planning Using Dialogues

    • Pere Pardo, Lluís Godo
    Pages 307-324
Back to top

Other volumes

  1. Computational Logic in Multi-Agent Systems

Keywords

About this book

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. 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: Argumentation Technologies and Norms and Normative Multi-Agent Systems.

Editors and Affiliations

  • CENTRIA and Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

  • Department of Computer Science, New Mexico State University, Las Cruces, USA

    Tran Cao Son

  • Dipartimento di Informatica: Scienza e Ingegneria (DISI), University of Bologna, Bologna, Italy

    Paolo Torroni

  • Computer Science and Communication Lab, University of Luxembourg, Luxembourg, Luxembourg

    Leon Torre

  • Institute of Information Systems, Vienna University of Technology, Vienna, Austria

    Stefan Woltran

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation