© 2013

Computational Logic in Multi-Agent Systems

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

  • João Leite
  • Tran Cao Son
  • Paolo Torroni
  • Leon van der Torre
  • Stefan Woltran
Conference proceedings CLIMA 2013

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8143)

Table of contents

  1. Front Matter
  2. Elena Cabrio, Sara Tonelli, Serena Villata
    Pages 1-17
  3. Ringo Baumann, Gerhard Brewka
    Pages 18-33
  4. Adam Wyner, Trevor Bench-Capon, Paul Dunne
    Pages 34-50
  5. Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata
    Pages 51-68
  6. Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran
    Pages 102-118
  7. Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
    Pages 138-154
  8. Alsinet Teresa, Béjar Ramón, Francesc Guitart, Lluís Godo
    Pages 155-171
  9. Nils Bulling, Mehdi Dastani
    Pages 172-189
  10. Jeffrey Kane, Pavel Naumov
    Pages 190-205
  11. Wojciech Jamroga, Masoud Tabatabaei
    Pages 206-222
  12. Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
    Pages 223-238
  13. Ana Sofia Gomes, José Júlio Alferes
    Pages 239-255
  14. Barbara Dunin-Kęplicz, Alina Strachocka
    Pages 256-272
  15. Louise A. Dennis, Michael Fisher, Matt Webster
    Pages 273-289

About these proceedings


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.


Web based technologies admissible semantics algorithms argumentation networks knowledge representation

Editors and affiliations

  • João Leite
    • 1
  • Tran Cao Son
    • 2
  • Paolo Torroni
    • 3
  • Leon van der Torre
    • 4
  • Stefan Woltran
    • 5
  1. 1.CENTRIA and Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA
  3. 3.Dipartimento di Informatica: Scienza e Ingegneria (DISI)University of BolognaBolognaItaly
  4. 4.Computer Science and Communication LabUniversity of LuxembourgLuxembourgLuxembourg
  5. 5.Institute of Information SystemsVienna University of TechnologyViennaAustria

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences