|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrei Voronkov (eds.) |
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  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Mantsivoda, Vyacheslav Petukhin |
Compiling Flang. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001 |
Abstract Syntax and Logic Programming. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | A. G. Bondarenko |
Abductive Systems for Non-Monotonic Reasoning. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe |
On Abstracting the Procedural Behaviour of Logic Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | T. J. Reynolds, Petros Kefalas |
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Demoen, André Mariën |
Implementation of Prolog as Binary Definite Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
WAM Algebras - A Mathematical Study of Implementation, Part 2. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Some Considerations on the Logic PfD. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Kehrer, Gustaf Neumann |
Treating Enhanced Entity Relationship Models in a Declarative Style. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Evelina Lamma, Paola Mello |
Objects in a Logic Programming Framework. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitri Yu. Boulanger |
Deep Logic Program Transformation Using Abstract Interpretation. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustaf Neumann |
A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir B. Borshchev |
Properties of Algorithmic Operators. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Regimantas Pliuskevicius |
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Wai-Keong Foong |
Or-Parallel Prolog with Heuristic Task Distribution. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson |
Safe Positive Induction in the Programming Logic TK. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Parigot |
Free Deduction: An Analysis of "Computations" in Classical Logic. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Ivanets, N. Ilinsky, M. Krylov |
WAM Specification for Parallel Execution on SIMD Computer. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer |
| 1 | Manfred Meyer, Hans-Günther Hein, Jörg P. Müller |
FIDO: Finite Domain Consistency Techniques in Logic Programming. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurate Sakalauskaite |
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny Dantsin |
Probabilistic Logic Programs and their Semantics. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
On Procedural Semantics of Metalevel Negation. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bekkers, Lucien Ungaro |
Real-Time Memory Management for Prolog. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector |
| 1 | François Bry, Rainer Manthey, Bern Martens |
Integrity Verification in Knowledge Bases. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. W. Powers |
Logic Programming with Pseudo-Resolution. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mounira Belmesk |
A Process Semantics of Logic Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Sébillot |
A Logical-Based Language for Feature Specification and Transmission Control. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Voronkov |
Logic Programming with Bounded Quantifiers. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
A Constructive Logic Approach to Database Theory. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ja. Dikovsky |
Prolog Semantics for Measuring Space Consumption. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Russo, Mirko Sancassani |
A Declarative Debugging Environment for DATALOG. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir S. Neiman |
Deduction with Generalized Terms. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Aida Pliuskeviciene |
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Günther Hein, Manfred Meyer |
A WAM Compilation Scheme. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny L. Kitaev |
Processing of Ground Regular Terms in PROLOG. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license