Skip to main content
  • Conference proceedings
  • © 2003

Logic for Programming, Artificial Intelligence, and Reasoning

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPAR: Logic for Programming, Artificial Intelligence, and Reasoning

Conference proceedings info: LPAR 2003.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Other Volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

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

Editors and Affiliations

  • Department of Computer Science, Rice University, Houston, U.S.A.

    Moshe Y. Vardi

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions