Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, to...
Zapisane w:
| organizacja autorów: | , |
|---|---|
| Kolejni autorzy: | , , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1472 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Transactions and change in logic databases, International Seminar on Logic Database and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997, invited surveys and selected papers, Burkhard Freitag ... [et al.], eds, 1998, Berlin, Springer, 1 vol. (X-396 p.), Lecture notes in computer science, 3-540-65305-8 • Transactions and Change in Logic Databases, Texte imprimé, 9783662205150 |
| LEADER | 04517nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945269 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155220780 | ||
| 020 | |a 9783540494492 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Seminar on Logic Database and the Meaning of Change |d (1996 |c :Schloss Dagstuhl, Allemagne). | |
| 245 | 1 | 0 | |a Transactions and change in logic databases : |b International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers |c [edited by] Burkhard Freitag, Hendrik Decker, Michael Kifer... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1472 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The state of change: A survey -- Specification of dynamics for knowledge-based systems -- On active deductive databases: The statelog approach -- Active-U-Datalog: Integrating active rules in a logical update language -- Logical transactions and serializability -- Results on reasoning about updates in Transaction Logic -- The dynamics of database views -- Inductive definability and the situation calculus -- Some notes on knowledge assimilation in deductive databases -- Applications of belief revision -- Analysing rational properties of change operators based on forward chaining -- A practical approach to hypothetical database queries -- From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases. | |
| 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 and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation logique | ||
| 650 | |a Bases de données déductives | ||
| 700 | 1 | |a Freitag, Burkhard, |d 1953- |4 pbd | |
| 700 | 1 | |a Kifer, Michael, |d 1954- |4 pbd | |
| 700 | 1 | |a Decker, Hendrik, |d 19..-...., |c auteur en informatique. |4 pbd | |
| 711 | 2 | |a Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases |d (1997 |c :Port Jefferson, N. Y.). |4 aut | |
| 776 | 0 | |0 045449104 |t Transactions and change in logic databases |o International Seminar on Logic Database and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 |o invited surveys and selected papers |f Burkhard Freitag ... [et al.], eds |d 1998 |c Berlin |n Springer |p 1 vol. (X-396 p.) |s Lecture notes in computer science |z 3-540-65305-8 | |
| 776 | 0 | |t Transactions and Change in Logic Databases |b Texte imprimé |z 9783662205150 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0055493 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GQ8285ML-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747891702 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0055493 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75090481X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0055493 |z Accès INSA CVL | |
| 997 | |0 945269 |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/ | ||