Advertisement

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
    17. Luke Hunsberger
      Pages 229-241
    18. Zhangang Lin, Yue Ma, Zuoquan Lin
      Pages 253-265
    19. Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
      Pages 266-279
    20. Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi
      Pages 280-292
    21. Alexander Lyaletski, Boris Konev
      Pages 293-305
    22. S. Modgil
      Pages 319-332
    23. Cláudia Nalon, Clare Dixon
      Pages 333-345
    24. Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
      Pages 359-372
    25. Guilin Qi, Weiru Liu, David A. Bell
      Pages 386-398
    26. F. Sadri, F. Toni
      Pages 413-425
    27. Ján Šefránek
      Pages 426-438
    28. Joost Vennekens, Marc Denecker, Maurice Bruynooghe
      Pages 452-464
  4. Tool Descriptions

    1. Daniel Bryant, Paul Krause, Sotiris Moschoyiannis
      Pages 465-468
    2. Thomas Eiter, Michael Fink, Ján Senko
      Pages 473-476
    3. Thomas Eiter, Patrick Traxler, Stefan Woltran
      Pages 477-480
    4. Nuno A. Fonseca, Fernando Silva, Rui Camacho
      Pages 481-484
    5. Enrico Giunchiglia, Marco Maratea
      Pages 485-489
    6. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
      Pages 490-493
    7. Massimo Narizzano, Luca Pulina, Armando Tacchella
      Pages 494-497
    8. Claudio Ochoa, Josep Silva, Germán Vidal
      Pages 498-501
    9. Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
      Pages 502-505
    10. Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà
      Pages 506-510
    11. Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
      Pages 511-514

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
  • Buy this book on publisher's site