RCLP

Keyphrases

Publications

volume 592, 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 RCLP 592 (1992)

1991

Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. RCLP (1991)
Dale Miller
Abstract Syntax and Logic Programming. RCLP (1991)
A. G. Bondarenko
Abductive Systems for Non-Monotonic Reasoning. RCLP (1991)
Gerda Janssens, Maurice Bruynooghe
On Abstracting the Procedural Behaviour of Logic Programs. RCLP (1991)
T. J. Reynolds, Petros Kefalas
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. RCLP (1991)
Bart Demoen, André Mariën
Implementation of Prolog as Binary Definite Programs. RCLP (1991)
Egon Börger, Dean Rosenzweig
WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP (1991)
Wiebe van der Hoek
Some Considerations on the Logic PfD. RCLP (1991)
Norbert Kehrer, Gustaf Neumann
Treating Enhanced Entity Relationship Models in a Declarative Style. RCLP (1991)
Antonio Brogi, Evelina Lamma, Paola Mello
Objects in a Logic Programming Framework. RCLP (1991)
Dmitri Yu. Boulanger
Deep Logic Program Transformation Using Abstract Interpretation. RCLP (1991)
Paul Tarau
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. RCLP (1991)
Gustaf Neumann
A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. RCLP (1991)
Vladimir B. Borshchev
Properties of Algorithmic Operators. RCLP (1991)
Regimantas Pliuskevicius
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. RCLP (1991)
Wai-Keong Foong
Or-Parallel Prolog with Heuristic Task Distribution. RCLP (1991)
Martin C. Henson
Safe Positive Induction in the Programming Logic TK. RCLP (1991)
Michel Parigot
Free Deduction: An Analysis of "Computations" in Classical Logic. RCLP (1991)
S. Ivanets, N. Ilinsky, M. Krylov
WAM Specification for Parallel Execution on SIMD Computer. RCLP (1991)
Manfred Meyer, Hans-Günther Hein, Jörg P. Müller
FIDO: Finite Domain Consistency Techniques in Logic Programming. RCLP (1991)
Jurate Sakalauskaite
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. RCLP (1991)
Evgeny Dantsin
Probabilistic Logic Programs and their Semantics. RCLP (1991)
Stefania Costantini, Gaetano Aurelio Lanzarone
On Procedural Semantics of Metalevel Negation. RCLP (1991)
Yves Bekkers, Lucien Ungaro
Real-Time Memory Management for Prolog. RCLP (1991)
François Bry, Rainer Manthey, Bern Martens
Integrity Verification in Knowledge Bases. RCLP (1991)
David M. W. Powers
Logic Programming with Pseudo-Resolution. RCLP (1991)
Mounira Belmesk
A Process Semantics of Logic Programs. RCLP (1991)
Pascale Sébillot
A Logical-Based Language for Feature Specification and Transmission Control. RCLP (1991)
Andrei Voronkov
Logic Programming with Bounded Quantifiers. RCLP (1991)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A Constructive Logic Approach to Database Theory. RCLP (1991)
Egon Börger, Elvinia Riccobene
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP (1991)
Alexander Ja. Dikovsky
Prolog Semantics for Measuring Space Consumption. RCLP (1991)
Francesco Russo, Mirko Sancassani
A Declarative Debugging Environment for DATALOG. RCLP (1991)
Vladimir S. Neiman
Deduction with Generalized Terms. RCLP (1991)
Aida Pliuskeviciene
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. RCLP (1991)
Hans-Günther Hein, Manfred Meyer
A WAM Compilation Scheme. RCLP (1991)
Evgeny L. Kitaev
Processing of Ground Regular Terms in PROLOG. RCLP (1991)