Logics in Artificial Intelligence

11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

  • Steffen Hölldobler
  • Carsten Lutz
  • Heinrich Wansing
Conference proceedings JELIA 2008

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
      Pages 8-20
    2. David Billington
      Pages 34-47
    3. Laura Bozzelli, Ruggero Lanotte
      Pages 48-61
    4. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
      Pages 62-75
    5. Annamaria Bria, Wolfgang Faber, Nicola Leone
      Pages 76-88
    6. Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
      Pages 89-99
    7. Sylvie Coste-Marquis, Pierre Marquis
      Pages 113-125
    8. Conrad Drescher, Michael Thielscher
      Pages 140-152
    9. Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Šimkus
      Pages 166-179
    10. Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen
      Pages 180-191
    11. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 192-205
    12. Andreas Herzig, Jérôme Mengin
      Pages 219-231
    13. Koen Hindriks, Wiebe van der Hoek
      Pages 232-244
    14. Sébastien Konieczny, Ramón Pino Pérez
      Pages 272-284
    15. Paul-Amaury Matt, Francesca Toni
      Pages 285-297
    16. John C. McCabe-Dansted
      Pages 298-310
    17. Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Zoran Marković
      Pages 338-348
    18. Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
      Pages 362-374
    19. Christoph Wernhard
      Pages 389-402
    20. Yi Zhou, Yan Zhang
      Pages 403-415
    21. Yi Zhou, Yan Zhang
      Pages 416-428
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.

The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.


MAS Multi-agent system artificial intelligence categorical logic deductive systems description logics epistemic logic formal logic formal reasoning intelligence logic logic programming logical inference machine learning nonmonotonic reasoning

Editors and affiliations

  • Steffen Hölldobler
    • 1
  • Carsten Lutz
    • 2
  • Heinrich Wansing
    • 3
  1. 1.Department of Computer ScienceTU DresdenGermany
  2. 2.Institut für Theoretische InformatikTU DresdenGermany
  3. 3.Institute of PhilosophyDresden University of TechnologyDresdenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87802-5
  • Online ISBN 978-3-540-87803-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site