Advertisement

Table of contents

  1. Front Matter
  2. Yves Bekkers, Lucien Ungaro
    Pages 1-12
  3. M. Belmesk
    Pages 13-26
  4. Egon Börger, Elvinia Riccobene
    Pages 27-34
  5. Egon Börger, Dean Rosenzweig
    Pages 35-54
  6. A. G. Bondarenko
    Pages 55-65
  7. Vladimir B. Borshchev
    Pages 66-78
  8. Antonio Brogi, Evelina Lamma, Paola Mello
    Pages 102-113
  9. François Bry, Rainer Manthey, Bern Martens
    Pages 114-139
  10. S. Costantini, G. A. Lanzarone
    Pages 140-151
  11. Bart Demoen, André Mariën
    Pages 165-176
  12. A. Ja. Dikovsky
    Pages 177-192
  13. Hans -Günther Hein, Manfred Meyer
    Pages 201-214
  14. S. Ivanets, N. Ilinsky, M. Krylov
    Pages 232-239
  15. G. Janssens, M. Bruynooghe
    Pages 240-262
  16. Norbert Kehrer, Gustaf Neumann
    Pages 263-270
  17. Evgeny L. Kitaev
    Pages 271-285
  18. Andrei Mantsivoda, Vyacheslav Petukhin
    Pages 286-293
  19. Manfred Meyer, Hans -Günther Hein, Jörg Müller
    Pages 294-301
  20. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Pages 302-321
  21. Dale Miller
    Pages 322-337
  22. Vladimir S. Neiman
    Pages 338-348
  23. David M. W. Powers
    Pages 407-414
  24. Francesco Russo, Mirko Sancassani
    Pages 433-441
  25. Wiebe van der Hoek
    Pages 474-485
  26. Andrei Voronkov
    Pages 486-514
  27. Back Matter

About these proceedings

Introduction

This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union.

Keywords

Automat Automated Reasoning Deductive Databases Deduktive Datenbanken Logic Programming Nichtklassische Logik (EDV) Non-classiccal Logics PROLOG Programmierung (EDV) Prolog-Programming Theorembeweisen (Kybern.) automated theorem proving logic mathematical logic theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-55460-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55460-8
  • Online ISBN 978-3-540-47083-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site