Advertisement

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
  12. S. Baker, A. Ireland, A. Smaill
    Pages 214-225
  13. Christian B. Suttner
    Pages 238-249
  14. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
    Pages 297-308
  15. José Alberto Fernández, Jack Minker
    Pages 332-356
  16. Michael Fisher, Richard Owens
    Pages 369-380
  17. Christoph Walther
    Pages 381-392
  18. Valentin Antimirov, Anatoli Degtyarev
    Pages 393-402
  19. Michael Kohlhase
    Pages 421-432
  20. Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré
    Pages 445-447
  21. Jean-Marc Andreoli, Remo Pareschi
    Pages 448-450
  22. Bernhard Bauer, Rolf Hennicker
    Pages 451-453
  23. Jorge Bocca, Michael Dahmen, Michael Freeston
    Pages 457-459
  24. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
    Pages 460-462
  25. Mark Dawson
    Pages 466-468
  26. Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron
    Pages 469-471
  27. Mireille Ducassé
    Pages 472-474
  28. Ulrich Fraus, Heinrich Hussmann
    Pages 475-477

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013043
  • 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
  • Buy this book on publisher's site