Logics in Artificial Intelligence

13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

  • Luis Fariñas del Cerro
  • Andreas Herzig
  • Jérôme Mengin

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

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
      Pages 14-27
    2. Dimitris Askounis, Costas D. Koutras, Yorgos Zikos
      Pages 41-53
    3. Guillaume Aucher, Bastien Maubert, François Schwarzentruber
      Pages 54-66
    4. Philippe Balbiani, Antoun Yaacoub
      Pages 67-79
    5. Harald Beck, Thomas Eiter, Thomas Krennwallner
      Pages 80-93
    6. Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
      Pages 94-106
    7. Richard Booth, Thomas Meyer, Ivan Varzinczak
      Pages 107-119
    8. Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
      Pages 120-133
    9. Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano
      Pages 134-146
    10. Davide Ciucci, Didier Dubois
      Pages 147-159
    11. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller
      Pages 160-175
    12. Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani
      Pages 176-188
    13. Enrico Franconi, Volha Kerhet, Nhung Ngo
      Pages 202-214
    14. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 228-241
    15. Lluís Godo, Enrico Marchioni, Pere Pardo
      Pages 242-254

About these proceedings


This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012.
The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.


argumentation beliefs logic programs planning reasoning

Editors and affiliations

  • Luis Fariñas del Cerro
    • 1
  • Andreas Herzig
    • 1
  • Jérôme Mengin
    • 1
  1. 1.Institut de Recherche en Informatique de ToulouseToulouse Cedex 9France

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33353-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33352-1
  • Online ISBN 978-3-642-33353-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment