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