Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming language...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science. Lecture notes in artificial intelligence
596 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Extensions of logic programming, second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings, L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.), Berlin, Springer-Verlag, 1992, 1 vol. (369 p.), Lecture notes in computer science, 3-540-55498-X • Extensions of Logic Programming, Texte imprimé, 9783662197608 |
| LEADER | 03929nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 968971 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155164996 | ||
| 020 | |a 9783540471141 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 100 | 1 | |a Eriksson, Lars-Henrik, |d 19..- | |
| 245 | 1 | 0 | |a Extensions of logic programming : |b second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings |c [edited by] L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 596 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Methodology and programming techniques in GCLA II -- Extended logic-plus-functional Programming -- Open logic theories -- A finitary version of the calculus of partial inductive definitions -- A logic programming approach to implementing higher-Order term rewriting -- An overview of the Andorra Kernel Language -- Logical and computational invariants of programs -- Implementing ?-calculus reduction strategies in extended logic programming languages -- Terminological reasoning and partial inductive definitions -- GCLA II A definitional approach to control -- Natural semantics and some of its meta-theory in Elf -- The near-Horn approach to disjunctive logic programming. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Hallnäs, Lars, |d 1950- |4 pbd | |
| 700 | 1 | |a Schroeder-Heister, Peter Joseph, |d 1953- |4 pbd | |
| 711 | 2 | |a International workshop on extension of logic programming |n (02 |d :1991 |c :Stockholm). |4 aut | |
| 776 | 0 | |0 023212608 |t Extensions of logic programming |o second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings |f L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.) |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (369 p.) |s Lecture notes in computer science |z 3-540-55498-X | |
| 776 | 0 | |t Extensions of Logic Programming |b Texte imprimé |z 9783662197608 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0013601 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9RLPGVX8-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750679336 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0013601 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754155919 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0013601 |z Accès INSA CVL | |
| 997 | |0 968971 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||