Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance t...
Na minha lista:
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science. Lecture notes in artificial intelligence
660 |
| Assuntos: | |
| Acesso em linha: | 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, third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992, proceedings, E. Lamma, P. Mello, eds, Berlin, Springer-Verlag, 1993, 1 vol. (VIII-417 p.), Lecture notes in computer science, 3-540-56454-3 • Extensions of Logic Programming, Texte imprimé, 9783662207901 |
| LEADER | 03715nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 969880 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155180991 | ||
| 020 | |a 9783540475620 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Lamma, Evelina, |d 1960- | |
| 245 | 1 | 0 | |a Extensions of logic programming : |b third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings |c [edited by] E. Lamma, P. Mello. |
| 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 660 |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 SLWV A theorem prover for logic programming -- A Correct goal-directed proof procedure for a general logic program with integrity constraints -- Declarative semantics of hypothetical logic programming with negation as failure -- Conditional narrowing with constructive negation -- CLP | |
| 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 contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Mello, Paola, |d 1958- |4 pbd | |
| 711 | 2 | |a International workshop on extension of logic programming |n (03 |d :1992 |c :StockholmBologne). |4 aut | |
| 776 | 0 | |0 016192249 |t Extensions of logic programming |o third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 |o proceedings |f E. Lamma, P. Mello, eds |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (VIII-417 p.) |s Lecture notes in computer science |z 3-540-56454-3 | |
| 776 | 0 | |t Extensions of Logic Programming |b Texte imprimé |z 9783662207901 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56454-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KJRGWTHG-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750669209 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56454-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754018245 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56454-3 |z Accès INSA CVL | |
| 997 | |0 969880 |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/ | ||