Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submiss...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1154 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic in databases, International Workshop LID '96, San Miniato, Italy, July 1996, proceedings, Dino Pedreschi, Carlo Zaniolo, (eds.), 1996, Berlin, Springer, 1 vol. (X-495 p.), Lecture notes in computer science, 3-540-61814-7 • Logic in Databases, Texte imprimé, 9783662182277 |
| LEADER | 04346nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944937 | ||
| 008 | 110927q2000 xxg ||| |||| 00| 0 eng d | ||
| 009 | PPN15520789X | ||
| 020 | |a 9783540706830 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Logic in databases |d (1996 |c :San Miniato, Italie). | |
| 245 | 1 | 0 | |a Logic in databases : |b International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings |c [edited by] Dino Pedreschi, Carlo Zaniolo. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1154 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Logic and databases: A 20 year retrospective -- A parametric approach to deductive databases with uncertainty -- A deductive database approach to planning in uncertain environments -- Termination properties of spatial Datalog programs -- Applying transition rules to bitemporal deductive databases for integrity constraint checking -- Towards a unified agent architecture that combines rationality with reactivity -- Learning query rules for optimizing databases with update rules -- Formal characterization of active databases -- Nested transactions in a logical language for active rules -- Deductive Databases: Challenges, opportunities and future directions -- R-stable models for logic programs -- The expressive power of partial models for disjunctive deductive databases -- Stable model checking for disjunctive logic programs -- Analysis of logic-based systems -- An axiomatic interpretation of confidentiality demands in logic-based relational databases -- Database query evaluation with the STARBASE method -- The limits of fixed-order computation -- The | |
| 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 strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique documentaire | ||
| 650 | |a Programmation logique | ||
| 650 | |a Bases de données déductives | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pedreschi, Dino, |d 19..- |4 pbd | |
| 700 | 1 | |a Zaniolo, Carlo, |d 19..- |4 pbd | |
| 776 | 0 | |0 026085445 |t Logic in databases |o International Workshop LID '96, San Miniato, Italy, July 1996 |o proceedings |f Dino Pedreschi, Carlo Zaniolo, (eds.) |d 1996 |c Berlin |n Springer |p 1 vol. (X-495 p.) |s Lecture notes in computer science |z 3-540-61814-7 | |
| 776 | 0 | |t Logic in Databases |b Texte imprimé |z 9783662182277 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0031733 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SCW4TG1H-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791513X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0031733 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750927798 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0031733 |z Accès INSA CVL | |
| 997 | |0 944937 |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/ | ||