Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
1050 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996, proceedings, Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds, 1996, Berlin, Springer, 1 vol. (VIII-318 p.), Lecture notes in computer science, 3-540-60983-0 • Extensions of Logic Programming, Texte imprimé, 9783662179147 |
| LEADER | 04521nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 970120 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155184911 | ||
| 020 | |a 9783540497516 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Dyckhoff, Roy, |d 1948- | |
| 245 | 1 | 0 | |a Extensions of logic programming : |b 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings |c [edited by] Roy Dyckhoff, Heinrich Herre, Peter 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 1050 |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 Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language with embedded implication into Horn clause logic -- Pruning the search space of logic programs -- A significant extension of logic programming by adapting model building rules -- Efficient resource management for linear logic proof search -- A logic language based on GAMMA-like multiset rewriting -- Default negated conclusions: Why not? -- Handling equality in logic programming via basic folding -- An abstract machine for reasoning about situations, actions, and causality -- On the computational complexity of propositional logic programs with nested implications -- Proof-theory for extensions of Logic Programming -- A fibrational semantics for logic programs -- Higher Order Babel: Language and implementation -- A new framework for declarative programming: Categorical perspectives -- Extending constructive negation for partial functions in lazy functional-logic languages -- Super logic programs and negation as belief -- Total correctness of logic programs: A formal approach -- A declarative semantics for the Prolog cut operator -- A definitional approach to functional logic programming -- Soundness and completeness of non-classical extended SLD-resolution -- Some postulates for nonmonotonic theory revision applied to 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 book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Herre, Heinrich. |4 pbd | |
| 700 | 1 | |a Schroeder-Heister, Peter Joseph, |d 1953- |4 pbd | |
| 711 | 2 | |a International workshop on extension of logic programming |n (05 |d :1996 |c :Leipzig, Allemagne). |4 aut | |
| 776 | 0 | |0 02508397X |t Extensions of logic programming |o 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 |o proceedings |f Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, eds |d 1996 |c Berlin |n Springer |p 1 vol. (VIII-318 p.) |s Lecture notes in computer science |z 3-540-60983-0 | |
| 776 | 0 | |t Extensions of Logic Programming |b Texte imprimé |z 9783662179147 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60983-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-835M9R49-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750666595 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60983-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754015750 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60983-0 |z Accès INSA CVL | |
| 997 | |0 970120 |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/ | ||