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 (30 papers)

  1. Front Matter
  2. From Tableaux to Automata for Description Logics
    Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
    Pages 1-32
  3. Disproving False Conjectures
    Serge Autexier, Carsten Schürmann
    Pages 33-48
  4. A Formal Proof of Dickson’s Lemma in ACL2
    F. J. Martın-Mateos, J. A. Alonso, M. J. Hidalgo, J. L. Ruiz-Reina
    Pages 49-58
  5. Imperative Object-Based Calculi in Co-inductive Type Theories
    Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
    Pages 59-77
  6. Congruence Closure with Integer Offsets
    Robert Nieuwenhuis, Albert Oliveras
    Pages 78-90
  7. A Machine-Verified Code Generator
    Christoph Walther, Stephan Schweitzer
    Pages 91-106
  8. A Translation Characterizing the Constructive Content of Classical Theories
    Matthias Baaz, Christian G. Fermüller
    Pages 107-121
  9. Extensions of Non-standard Inferences to Description Logics with Transitive Roles
    Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
    Pages 122-136
  10. Improving Dependency Pairs
    Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
    Pages 167-182
  11. Computable Numberings
    Serikzhan Badaev
    Pages 213-213
  12. Handling Equality in Monodic Temporal Resolution
    Boris Konev, Anatoli Degtyarev, Michael Fisher
    Pages 214-228
  13. Once upon a Time in the West
    Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
    Pages 229-243
  14. Ordered Diagnosis
    Davy Van Nieuwenborgh, Dirk Vermeir
    Pages 244-258
  15. Computing Preferred Answer Sets in Answer Set Programming
    Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
    Pages 259-273
  16. A Syntax-Based Approach to Reasoning about Actions and Events
    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