Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| Series: | Lecture notes in computer science ;
798. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
| LEADER | 03282nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | c000162113 | ||
| 003 | CARM | ||
| 005 | 19991008000000.0 | ||
| 008 | 940404s1994 gw a b 100 0 eng | ||
| 010 | |a 94015491 | ||
| 019 | 1 | |a 10901112 |5 LACONCORD2021 | |
| 020 | |a 0387580255 |b (New York : acid-free paper) : |c DM 72.00 | ||
| 020 | |a 3540580255 |b (Berlin : acid-free paper) | ||
| 035 | |a (OCoLC)30318362 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d DLC |d OrLoB-B | ||
| 050 | 0 | |a QA76.63 |b .E47 1993 | |
| 050 | 0 | 0 | |a QA76.63 |b .E47 1993 |
| 082 | 0 | 0 | |a 005.1/1 |2 20 |
| 082 | 0 | 4 | |a 005.1/1 |2 20 |
| 111 | 2 | |a ELP '93, |d (1993 : |c University of St. Andrews, Scotland) | |
| 245 | 1 | 0 | |a Extensions of logic programming : |b 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / |c Roy Dyckhoff (ed.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1994. | ||
| 300 | |a viii, 360 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 798. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 650 | 0 | |a Logic programming |x Congresses. | |
| 700 | 1 | |a Dyckhoff, Roy, |d 1948- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 798. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM09F0 |i C05508 |p 0213953 |f BK | |
| 999 | f | f | |i f748a2c9-dd1d-5d16-8a16-2808dd34fd67 |s 6e429916-7941-574e-bd8c-2eab0ab7f304 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05508 |f A2:AM09F0 |h Other scheme |i book |m 0213953 |