Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings /
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Conference Proceeding Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Saila: | Lecture notes in computer science ;
798. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Gaiak: |
Aurkibidea:
- Introduction / Roy Dyckhoff
- Design for AKL with Intelligent Pruning / Salvador Abreu and Luis Moniz Pereira
- Contradiction: When Avoidance Equals Removal, Part I / Jose Julio Alferes and Luis Moniz Pereira
- Birkhoff's HSP-Theorem for Cumulative Logic Programs / Beatrice Amrhein
- Finite Domains and Exclusions as First-Class Citizens / Harold Boley
- Some Experimental Results in Implementing a Logic Language with Multi-Head Clauses on a Transputer Architecture / Anna Ciampolini, Evelina Lamma, Paola Mello and Cesare Stefanelli
- A Language with Finite Sets Embedded in the CLP-Scheme / Agostino Dovier
- Finitary Partial Inductive Definitions as a General Logic / Lars-Henrik Eriksson
- Programming Methodologies in GCLA / Goran Falkman and Olof Torgersson
- Computing Cost Estimates for Proof Strategies / Knut Hinkelmann and Helge Hintze
- Logic Programming with Multiple Context Management Schemes / Joshua S. Hodas
- Non-Procedural Logic Programming / Seppo Keronen.
- Axioms in Definitional Calculi / Per Kreuger
- A Proposal for Modules in Lambda-Prolog / Dale Miller
- Regular Search Spaces as a Foundation of Logic Programming / Alberto Momigliano and Mario Ornaghi
- Answer Sets and Nonmonotonic S4 / David Pearce
- Contradiction: When Avoidance Equals Removal, Part II / Luis Moniz Pereira and Jose Julio Alferes
- Cut Formulae and Logic Programming / Luis Pinto
- Higher-Order Aspects of Logic Programming / Uday S. Reddy
- Representation and Inference with Consistent Temporal Propositions / Cristina Ribeiro and Antonio Porto
- Definitional Reflection and the Completion / Peter Schroeder-Heister
- Linear Logic Semantics for Concurrent Prolog / Jiri Zlatuska.