Skip to main content
SpringerLink
Log in

Logic Programming and Automated Reasoning

5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Frank Pfenning
    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 822)

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

Included in the following conference series:

Conference proceedings info: LPAR 1994.

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

Access this book

Log in via an institution
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 (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Generalization and reuse of tactic proofs

    • Amy Felty, Douglas Howe
    Pages 1-15

  3. Program tactics and logic tactics

    • Fausto Giunchiglia, Paolo Traverso, Mechanized Reasoning Group
    Pages 16-30

  4. On the relation between the λμ-calculus and the syntactic theory of sequential control

    • Philippe de Groote
    Pages 31-43

  5. On a proof-theoretical analysis of Σ 1 1 -AC, Σ 1 1 -DC and Δ 1 1 -CA

    • Sergei Tupailo
    Pages 44-53

  6. Proof plans for the correction of false conjectures

    • Raul Monroy, Alan Bundy, Andrew Ireland
    Pages 54-68

  7. On the value of antiprenexing

    • Uwe Egly
    Pages 69-83

  8. Implementing a finite-domain CLP-language on top of Prolog: a transformational approach

    • Henk Vandecasteele, Danny de Schreye
    Pages 84-98

  9. RISC-CLP(CF) constraint logic programming over complex functions

    • Hoon Hong
    Pages 99-113

  10. Logical closures

    • Dominic Duggan
    Pages 114-128

  11. Higher-order rigid E-unification

    • Jean Goubault
    Pages 129-143

  12. Program extraction in a Logical Framework setting

    • Penny Anderson
    Pages 144-158

  13. Higher-Order Abstract Syntax with induction in Coq

    • Joëlle Despeyroux, André Hirschowitz
    Pages 159-173

  14. Towards efficient calculi for resource-oriented deductive planning

    • Stefan Brüning
    Pages 174-188

  15. A logic programming framework for the abductive inference of intentions in cooperative dialogues

    • Paulo Quaresma, José Gabriel Lopes
    Pages 189-199

  16. Constraint logic programming in the sequent calculus

    • John Darlington, Yike Guo
    Pages 200-214

  17. On conditional rewrite systems with extra variables and deterministic logic programs

    • Jürgen Avenhaus, Carlos Loría-Sáenz
    Pages 215-229

  18. A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs

    • Cristian Papp
    Pages 230-244

  19. An efficient computation of the extended generalized closed world assumption by support-for-negation sets

    • Dietmar Seipel
    Pages 245-259

  20. Multi-SLD resolution

    • Donald A. Smith, Timothy J. Hickey
    Pages 260-274
Back to top

Other volumes

  1. Logic Programming and Automated Reasoning

Keywords

About this book

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.
This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation