Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1992

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Download chapter PDF

  2. Real-time memory management for Prolog

    • Yves Bekkers, Lucien Ungaro
    Pages 1-12

  3. A process semantics of logic programs

    • M. Belmesk
    Pages 13-26

  4. Logical operational semantics of Parlog Part II: Or-Parallelism

    • Egon Börger, Elvinia Riccobene
    Pages 27-34

  5. WAM algebras—A mathematical study of implementation Part 2

    • Egon Börger, Dean Rosenzweig
    Pages 35-54

  6. Abdugtive systems for non-monotonig reasoning

    • A. G. Bondarenko
    Pages 55-65

  7. Properties of algorithmic operators

    • Vladimir B. Borshchev
    Pages 66-78

  8. Deep logic program transformation using abstract interpretation

    • Dmitri Yu. Boulanger
    Pages 79-101

  9. Objects in a logic programming framework

    • Antonio Brogi, Evelina Lamma, Paola Mello
    Pages 102-113

  10. Integrity verification in knowledge bases

    • François Bry, Rainer Manthey, Bern Martens
    Pages 114-139

  11. On procedural semantics of metalevel negation

    • S. Costantini, G. A. Lanzarone
    Pages 140-151

  12. Probabilistic logic programs and their semantics

    • Eugene Dantsin
    Pages 152-164

  13. Implementation of Prolog as binary definite programs

    • Bart Demoen, André Mariën
    Pages 165-176

  14. Prolog semantics for measuring space consumption

    • A. Ja. Dikovsky
    Pages 177-192

  15. Or-parallel Prolog with heuristic task distribution

    • Wai -Keong Foong
    Pages 193-200

  16. A WAM compilation scheme

    • Hans -Günther Hein, Manfred Meyer
    Pages 201-214

  17. Safe positive induction in the programming logic TK

    • Martin C. Henson
    Pages 215-231

  18. Wam specification for parallel execution on SIMD computer

    • S. Ivanets, N. Ilinsky, M. Krylov
    Pages 232-239

  19. On abstracting the procedural behaviour of logic programs

    • G. Janssens, M. Bruynooghe
    Pages 240-262

  20. Treating enhanced entity relationship models in a declarative style

    • Norbert Kehrer, Gustaf Neumann
    Pages 263-270
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation