Table of contents

  1. Front Matter
  2. Halina Przymusinska, Teodor Przymusinski, Hirohisa Seki
    Pages 1-12
  3. Steffen Hölldobler
    Pages 13-29
  4. Didier Galmiche, Guy Perrier
    Pages 42-53
  5. James Bowen, Dennis Bahler
    Pages 54-65
  6. Beat Wüthrich
    Pages 66-77
  7. Matthias Baaz, Christian G. Fermüller
    Pages 107-118
  8. Peter Baumgartner
    Pages 119-130
  9. Hai-Ping Ko, Mark E. Nadel
    Pages 137-147
  10. Håkan Millroth
    Pages 160-171
  11. Thierry Boy de la Tour, Christoph Kreitz
    Pages 202-213

About these proceedings


This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.


Automat artificial intelligence automated reasoning automated theorem proving logic nonmonotonic reasoning programming proving theorem proving

Bibliographic information

  • Book Title Logic Programming and Automated Reasoning
  • Book Subtitle International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
  • Editors Andrei Voronkov
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-55727-2
  • eBook ISBN 978-3-540-47279-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVI, 516
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
    Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences