Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing pro...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science. Lecture notes in artificial intelligence
1471 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming and knowledge representation, Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, selected papers, Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds), 1998, New York, Springer, 1 vol. (VIII-246 p.), Lecture notes in computer science, 3-540-64958-1 • Logic Programming and Knowledge Representation, Texte imprimé, 9783662189658 |
| LEADER | 03800nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 945053 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155212753 | ||
| 020 | |a 9783540498728 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Logic programming and knowledge representation |n (03 |d :1997 |c :Port Jefferson, N. Y.). | |
| 245 | 1 | 0 | |a Logic programming and knowledge representation : |b Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : 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 1471 |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 Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential stable models for disjunctive deductive databases -- Disjunctive logic programming and autoepistemic logic -- A system for abductive learning of logic programs -- Refining action theories through abductive logic programming -- Abduction, argumentation and bi-disjunctive logic programs -- Reasoning with prioritized defaults -- Generalizing updates: From models to programs. | |
| 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 presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Représentation des connaissances | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Dix, Jürgen, |d 1961- |4 pbd | |
| 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 035993820 |t Logic programming and knowledge representation |o Third International Workshop, LPKR'97 |o Port Jefferson, New York, USA, October 17, 1997 |o selected papers |f Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds) |d 1998 |c New York |n Springer |p 1 vol. (VIII-246 p.) |s Lecture notes in computer science |z 3-540-64958-1 | |
| 776 | 0 | |t Logic Programming and Knowledge Representation |b Texte imprimé |z 9783662189658 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0054787 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-K8QHWSDW-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747892105 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0054787 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750905190 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0054787 |z Accès INSA CVL | |
| 997 | |0 945053 |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/ | ||