Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully r...
Enregistré dans:
| 主要作者: | |
|---|---|
| 其他作者: | , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science. Lecture notes in artificial intelligence
1216 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Actes d'un séminaire tenu à Bad Honnef du 5 au 6 septembre 1996, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Non-monotonic extensions of logic programming, Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, selected papers, Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, eds, 1997, Berlin, Springer, 1 vol. (XII-224 p.), Lecture notes in computer science, 3-540-62843-6 • Non-Monotonic Extensions of Logic Programming, Texte imprimé, 9783662164006 |
| LEADER | 04153nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971318 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155205188 | ||
| 020 | |a 9783540687023 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Dix, Jürgen, |d 1961- | |
| 245 | 1 | 0 | |a Non-monotonic extensions of logic programming : |b Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers |c [edited by] Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski. |
| 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 1216 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Actes d'un séminaire tenu à Bad Honnef du 5 au 6 septembre 1996, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint 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 thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Raisonnement non monotone | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pereira, Luís Moniz, |d 1947-...., |c auteur en informatique. |4 pbd | |
| 700 | 1 | |a Przymusinski, Teodor C., |d 1947- |4 pbd | |
| 776 | 0 | |0 028897439 |t Non-monotonic extensions of logic programming |o Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 |o selected papers |f Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, eds |d 1997 |c Berlin |n Springer |p 1 vol. (XII-224 p.) |s Lecture notes in computer science |z 3-540-62843-6 | |
| 776 | 0 | |t Non-Monotonic Extensions of Logic Programming |b Texte imprimé |z 9783662164006 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0023798 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-D2TPDJBQ-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750653876 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0023798 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754004007 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0023798 |z Accès INSA CVL | |
| 997 | |0 971318 |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/ | ||