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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-87803-2
  • 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
  • About this book