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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1154 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 |
Table des matières:
- 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