Table of contents

  1. Front Matter
  2. Hassan Aït-Kaci, Andreas Podelski
    Pages 1-18
  3. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
    Pages 19-27
  4. Jonas Barklund, Johan Bevemyr
    Pages 28-39
  5. Anatoli N. Chebotarev, Marina K. Morokhovets
    Pages 76-85
  6. Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
    Pages 86-97
  7. Andrew Davison
    Pages 98-109
  8. Christian Fermüller, Gernot Salzer
    Pages 122-133
  9. Gilberto Filé, Sabina Rossi
    Pages 134-145
  10. Philippa Gardner
    Pages 146-157
  11. Reiner Hähnle, Werner Kernig
    Pages 158-169
  12. M. Hibti, H. Lombardi, B. Legeard
    Pages 170-181
  13. Alistair Manning, Andrew Ireland, Alan Bundy
    Pages 194-204

About these proceedings


LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".


Automat automated reasoning database deductive database logic modeling programming proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56944-2
  • Online ISBN 978-3-540-47830-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book