Skip to main content
SpringerLink
Log in

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Moshe Y. Vardi

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov

    1. University of Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: LPAR 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  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. Extended Canonicity of Certain Topological Properties of Set Spaces

    • Bernhard Heinemann
    Pages 137-151

  11. Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

    • Silvio Ghilardi, Luigi Santocanale
    Pages 152-166

  12. Improving Dependency Pairs

    • Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
    Pages 167-182

  13. On Closure under Complementation of Equational Tree Automata for Theories Extending AC

    • Kumar Neeraj Verma
    Pages 183-197

  14. Completeness of E-Unification with Eager Variable Elimination

    • Barbara Morawska
    Pages 198-212

  15. Computable Numberings

    • Serikzhan Badaev
    Pages 213-213

  16. Handling Equality in Monodic Temporal Resolution

    • Boris Konev, Anatoli Degtyarev, Michael Fisher
    Pages 214-228

  17. Once upon a Time in the West

    • Dietmar Berwanger, Erich Grädel, Stephan Kreutzer
    Pages 229-243

  18. Ordered Diagnosis

    • Davy Van Nieuwenborgh, Dirk Vermeir
    Pages 244-258

  19. Computing Preferred Answer Sets in Answer Set Programming

    • Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
    Pages 259-273

  20. A Syntax-Based Approach to Reasoning about Actions and Events

    • Quoc Bao Vo, Abhaya Nayak, Norman Foo
    Pages 274-288
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

Editors and Affiliations

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

    Moshe Y. Vardi

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation