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

DOI: 10.1007/b13986

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

  • 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