Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Logic Programming

First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings

Editors:

  1. A. Voronkov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 592)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (37 papers)

  1. Processing of ground regular terms in Prolog

    • Evgeny L. Kitaev
    Pages 271-285

  2. Compiling Flang

    • Andrei Mantsivoda, Vyacheslav Petukhin
    Pages 286-293

  3. FIDO: Finite domain consistency techniques in logic programming

    • Manfred Meyer, Hans -Günther Hein, Jörg Müller
    Pages 294-301

  4. A constructive logic approach to database theory

    • Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Pages 302-321

  5. Abstract syntax and logic programming

    • Dale Miller
    Pages 322-337

  6. Deduction search with generalized terms

    • Vladimir S. Neiman
    Pages 338-348

  11. Logic Programming with Pseudo-Resolution

    • David M. W. Powers
    Pages 407-414

  13. A declarative debugging environment for DATALOG

    • Francesco Russo, Mirko Sancassani
    Pages 433-441

  17. Some considerations on the logic PFD

    • Wiebe van der Hoek
    Pages 474-485

  18. Logic programming with bounded quantifiers

    • Andrei Voronkov
    Pages 486-514

  19. Back Matter

    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation