Advertisement

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
Conference proceedings JELIA 2012

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
    16. Sarah Holbrook, Pavel Naumov
      Pages 267-280
    17. Patrick Krümpelmann, Gabriele Kern-Isberner
      Pages 294-306
    18. Björn Lellmann, Dirk Pattinson
      Pages 320-332
    19. Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang
      Pages 333-345
    20. François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra
      Pages 359-371
    21. Martin Slota, João Leite
      Pages 372-384
    22. Richard Stocker, Louise Dennis, Clare Dixon, Michael Fisher
      Pages 385-397
    23. Nicolas Troquard, Dirk Walther
      Pages 398-410
    24. Bart Verheij
      Pages 411-423
    25. Srdjan Vesic, Leendert van der Torre
      Pages 424-436
    26. Nitin Yadav, Sebastian Sardina
      Pages 437-449
    27. Nitin Yadav, Sebastian Sardina
      Pages 450-462
  3. System Descriptions

    1. Julien Balax, Florence Dupin de Saint-Cyr, David Villard
      Pages 476-479
    2. Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, Antonius Weinzierl
      Pages 480-483
    3. Marco Maratea, Luca Pulina, Francesco Ricca
      Pages 484-487
    4. Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
      Pages 492-495
  4. Back Matter

About these proceedings

Introduction

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.

Keywords

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering