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
  14. Angelica Maria Kappel
    Pages 229-240
  15. Rolf Socher-Ambrosius
    Pages 301-308
  16. Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
    Pages 345-347
  17. D. Galmiche, O. Hermann
    Pages 348-350
  18. John Harrison, Laurent Théry
    Pages 351-353
  19. Yexuan Gui, Mitsuhiro Okada
    Pages 354-356
  20. Breanndán Ó Nualláin
    Pages 357-359
  21. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences