Table of contents

  1. Front Matter
  2. Amy Felty, Douglas Howe
    Pages 1-15
  3. Fausto Giunchiglia, Paolo Traverso, Mechanized Reasoning Group
    Pages 16-30
  4. Raul Monroy, Alan Bundy, Andrew Ireland
    Pages 54-68
  5. Uwe Egly
    Pages 69-83
  6. Dominic Duggan
    Pages 114-128
  7. Jean Goubault
    Pages 129-143
  8. Joëlle Despeyroux, André Hirschowitz
    Pages 159-173
  9. John Darlington, Yike Guo
    Pages 200-214
  10. Donald A. Smith, Timothy J. Hickey
    Pages 260-274
  11. Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
    Pages 275-289
  12. M. Codish, M. García de la Banda, M. Bruynooghe, M. Hermenegildo
    Pages 305-319
  13. Ph. Mathieu, J. P. Delahaye
    Pages 320-332
  14. Zhenhua Duan, Maciej Koutny, Chris Holt
    Pages 333-344
  15. Back Matter

About these proceedings


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.


Automat Automated Theorem Proving Automatisches Schließen Logic Programming Nichtklassische Logiken Nonclassical Logics Prolog automated reasoning logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58216-8
  • Online ISBN 978-3-540-48573-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment