default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st RCLP 1990: Irkutsk, Russia
2. RCLP 1991: St. Petersburg, Russia
- Andrei Voronkov:
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. Lecture Notes in Computer Science 592, Springer 1992, ISBN 3-540-55460-2 - Yves Bekkers, Lucien Ungaro:
Real-Time Memory Management for Prolog. 1-12 - Mounira Belmesk:
A Process Semantics of Logic Programs. 13-26 - Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. 27-34 - Egon Börger, Dean Rosenzweig:
WAM Algebras - A Mathematical Study of Implementation, Part 2. 35-54 - A. G. Bondarenko:
Abductive Systems for Non-Monotonic Reasoning. 55-65 - Vladimir B. Borshchev:
Properties of Algorithmic Operators. 66-78 - Dmitri Yu. Boulanger:
Deep Logic Program Transformation Using Abstract Interpretation. 79-101 - Antonio Brogi
, Evelina Lamma, Paola Mello:
Objects in a Logic Programming Framework. 102-113 - François Bry, Rainer Manthey, Bern Martens:
Integrity Verification in Knowledge Bases. 114-139 - Stefania Costantini, Gaetano Aurelio Lanzarone:
On Procedural Semantics of Metalevel Negation. 140-151 - Evgeny Dantsin:
Probabilistic Logic Programs and their Semantics. 152-164 - Bart Demoen, André Mariën:
Implementation of Prolog as Binary Definite Programs. 165-176 - Alexander Ja. Dikovsky:
Prolog Semantics for Measuring Space Consumption. 177-192 - Wai-Keong Foong:
Or-Parallel Prolog with Heuristic Task Distribution. 193-200 - Hans-Günther Hein, Manfred Meyer:
A WAM Compilation Scheme. 201-214 - Martin C. Henson:
Safe Positive Induction in the Programming Logic TK. 215-231 - S. Ivanets, N. Ilinsky, M. Krylov:
WAM Specification for Parallel Execution on SIMD Computer. 232-239 - Gerda Janssens, Maurice Bruynooghe:
On Abstracting the Procedural Behaviour of Logic Programs. 240-262 - Norbert Kehrer, Gustaf Neumann:
Treating Enhanced Entity Relationship Models in a Declarative Style. 263-270 - Evgeny L. Kitaev:
Processing of Ground Regular Terms in PROLOG. 271-285 - Andrei Mantsivoda, Vyacheslav Petukhin:
Compiling Flang. 286-293 - Manfred Meyer, Hans-Günther Hein, Jörg P. Müller:
FIDO: Finite Domain Consistency Techniques in Logic Programming. 294-301 - Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
A Constructive Logic Approach to Database Theory. 302-321 - Dale Miller:
Abstract Syntax and Logic Programming. 322-337 - Vladimir S. Neiman:
Deduction with Generalized Terms. 338-348 - Gustaf Neumann:
A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. 349-360 - Michel Parigot:
Free Deduction: An Analysis of "Computations" in Classical Logic. 361-380 - Aida Pliuskeviciene:
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. 381-390 - Regimantas Pliuskevicius:
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. 391-406 - David M. W. Powers:
Logic Programming with Pseudo-Resolution. 407-414 - T. J. Reynolds, Petros Kefalas:
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. 415-432 - Francesco Russo, Mirko Sancassani:
A Declarative Debugging Environment for DATALOG. 433-441 - Jurate Sakalauskaite:
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. 442-451 - Pascale Sébillot:
A Logical-Based Language for Feature Specification and Transmission Control. 452-461 - Paul Tarau:
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. 462-473 - Wiebe van der Hoek:
Some Considerations on the Logic PfD. 474-485 - Andrei Voronkov:
Logic Programming with Bounded Quantifiers. 486-514
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
