CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Lecture Notes in Artificial Intelligence

Logic Programming and Automated Reasoning

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

Editors: Pfenning, Frank (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48573-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
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.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Generalization and reuse of tactic proofs

    Pages 1-15

    Felty, Amy (et al.)

  • Program tactics and logic tactics

    Pages 16-30

    Giunchiglia, Fausto (et al.)

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

    Pages 31-43

    Groote, Philippe

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

    Pages 44-53

    Tupailo, Sergei

  • Proof plans for the correction of false conjectures

    Pages 54-68

    Monroy, Raul (et al.)

Buy this book

eBook $84.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48573-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic Programming and Automated Reasoning
Book Subtitle
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Editors
  • Frank Pfenning
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
822
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48573-5
DOI
10.1007/3-540-58216-9
Softcover ISBN
978-3-540-58216-8
Edition Number
1
Number of Pages
XII, 352
Topics