Logics in Artificial Intelligence

10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

  • Michael Fisher
  • Wiebe van der Hoek
  • Boris Konev
  • Alexei Lisitsa
Conference proceedings JELIA 2006

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Technical Papers

    1. Vladimir Aleksic, Anatoli Degtyarev
      Pages 20-28
    2. J. J. Alferes, F. Banti, A. Brogi
      Pages 29-42
    3. Ofer Arieli, Marc Denecker, Maurice Bruynooghe
      Pages 43-55
    4. Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin
      Pages 56-68
    5. Jan Broersen, Andreas Herzig, Nicolas Troquard
      Pages 69-81
    6. Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde
      Pages 82-94
    7. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni
      Pages 95-110
    8. Martin Caminada
      Pages 111-123
    9. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko
      Pages 124-137
    10. Ulle Endriss, Eric Pacuit
      Pages 138-150
    11. Esra Erdem, Alfredo Gabaldon
      Pages 151-163
    12. Christian G. Fermüller, Reinhard Pichler
      Pages 164-176
    13. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 177-189
    14. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 190-202
    15. Sergio Greco, Irina Trubitsyna, Ester Zumpano
      Pages 203-215
    16. Andreas Herzig, Ivan Varzinczak
      Pages 216-228

About these proceedings

Keywords

Artificial intelligence Automat automated reasoning description logics intelligence learning logic machine learning nonmonotonic reasoning programming

Editors and affiliations

  • Michael Fisher
    • 1
  • Wiebe van der Hoek
    • 2
  • Boris Konev
    • 3
  • Alexei Lisitsa
    • 4
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolU.K.
  2. 2.University of LiverpoolUnited Kingdom
  3. 3.University of LiverpoolLiverpoolUK
  4. 4.Department of Computer ScienceThe University of Liverpool 

Bibliographic information

  • DOI https://doi.org/10.1007/11853886
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-39625-3
  • Online ISBN 978-3-540-39627-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book