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

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