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

Computational Logic in Multi-Agent Systems

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

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)

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

Conference proceedings info: CLIMA 2013.

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

  1. Front Matter

    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

  8. Admissibility in the Abstract Dialectical Framework

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

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

Keywords

Back to top

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

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