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
Part of the Lecture Notes in Computer Science book series (LNCS, 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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-40624-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40623-2
  • Online ISBN 978-3-642-40624-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book