default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. ELP 1993: St. Andrews, U.K.
- Roy Dyckhoff:
Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings. Lecture Notes in Computer Science 798, Springer 1994, ISBN 3-540-58025-5 - Roy Dyckhoff:
Introduction to ELP'93. 1-2 - Salvador Abreu, Luís Moniz Pereira:
Design for AKL with Intelligent Pruning. 3-10 - José Júlio Alferes
, Luís Moniz Pereira:
Contradiction: When Avoidance Equals Removal - Part I. 11-23 - Beatrice Amrhein:
Birkhoff's HSP-Theorem for Cumulative Logic Programs. 24-36 - Harold Boley:
Finite Domains and Exclusions as First-Class Citizens. 37-61 - Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. 62-76 - Agostino Dovier:
A Language with Finite Sets Embedded in the CLP-scheme. 77-93 - Lars-Henrik Eriksson:
Finitary Partial Inductive Definitions as a General Logic. 94-119 - Göran Falkman, Olof Torgersson:
Programming Methodologies in GCLA. 120-151 - Knut Hinkelmann, Helge Hintze:
Computing Cost Estimates for Proof Strategies. 152-170 - Joshua S. Hodas:
Logic Programming with Multiple Context Management Schemes. 171-182 - Seppo Keronen:
Non-Procedural Logic Programming. 183-195 - Per Kreuger:
Axioms in Definitional Calculi. 196-205 - Dale Miller:
A Proposal for Modules in Lambda-Prolog. 206-221 - Alberto Momigliano, Mario Ornaghi:
Regular Search Spaces as a Foundation of Logic Programming. 222-254 - David Pearce:
Answer Sets and Nonmonotonic S4. 255-267 - José Júlio Alferes, Luís Moniz Pereira:
Contradiction: When Avoidance Equals Removal - Part II. 268-281 - Luís Pinto:
Cut Formulae and Logic Programming. 282-300 - Uday S. Reddy:
Higher-order Aspects of Logic Programming. 301-321 - Cristina Ribeiro, António Porto:
Representation and Inference with Consistent Temporal Propositions. 322-332 - Peter Schroeder-Heister:
Definitional Reflection and the Completion. 333-347 - Jirí Zlatuska:
Linear Logic Semantics for Concurrent Prolog. 348-360
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-26 01:00 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:
