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)

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

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