Advertisement

Logic for Programming, Artificial Intelligence, and Reasoning

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

  • Moshe Y. Vardi
  • Andrei Voronkov
Conference proceedings LPAR 2003

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

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

Table of contents

  1. Front Matter
  2. Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
    Pages 1-32
  3. Serge Autexier, Carsten Schürmann
    Pages 33-48
  4. F. J. Martın-Mateos, J. A. Alonso, M. J. Hidalgo, J. L. Ruiz-Reina
    Pages 49-58
  5. Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
    Pages 59-77
  6. Robert Nieuwenhuis, Albert Oliveras
    Pages 78-90
  7. Christoph Walther, Stephan Schweitzer
    Pages 91-106
  8. Matthias Baaz, Christian G. Fermüller
    Pages 107-121
  9. Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
    Pages 122-136
  10. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
    Pages 167-182
  11. Serikzhan Badaev
    Pages 213-213
  12. Boris Konev, Anatoli Degtyarev, Michael Fisher
    Pages 214-228
  13. Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
    Pages 229-243
  14. Davy Van Nieuwenborgh, Dirk Vermeir
    Pages 244-258
  15. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
    Pages 259-273
  16. Quoc Bao Vo, Abhaya Nayak, Norman Foo
    Pages 274-288
  17. Thomas Wilke
    Pages 289-289
  18. Thierry Boy de la Tour, Mnacho Echenim
    Pages 317-331
  19. Dietrich Kuske
    Pages 332-345
  20. Markus Lohrey
    Pages 346-360
  21. Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre
    Pages 361-375
  22. Christoph Beierle, Gabriele Kern-Isberner
    Pages 376-388
  23. Paola Bruscoli, Alessio Guglielmi
    Pages 389-406
  24. Furio Honsell, Marina Lenisa, Rekha Redamalla
    Pages 407-421
  25. D. Galmiche, J. -M. Notin
    Pages 422-436
  26. Back Matter

About these proceedings

Keywords

Automat artificial intelligence automata automated reasoning description logics formal verification game theory intelligence logic model checking programming proof theory verification

Editors and affiliations

  • Moshe Y. Vardi
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Department of Computer ScienceRice UniversityHoustonU.S.A.
  2. 2.University of ManchesterUK

Bibliographic information

  • DOI https://doi.org/10.1007/b13986
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20101-4
  • Online ISBN 978-3-540-39813-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site