Logic in databases : International Workshop LID ΚΌ96, San Miniato, Italy, July 1996 : proceedings /
Saved in:
| Meeting name: | International Workshop on Logic in Databases (1996 : San Miniato, Italy) |
|---|---|
| Imprint: | Berlin ; New York : Springer, c1996. |
| Description: | x, 495 p. |
| Language: | English |
| Series: | Lecture notes in computer science 1154 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2540363 |
Table of Contents:
- Logic and Databases: A 20 Year Retrospective / J. Minker
- A Parametric Approach to Deductive Databases with Uncertainty / L. V. S. Lakshmanan and N. Shiri
- A Deductive Database Approach to Planning in Uncertain Environments / V. S. Subrahmanian and C. Ward
- Termination of Properties of Spatial Datalog Programs / B. Kuijpers, J. Paredaens and M. Smits [et al.]
- Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking / C. Martin and J. Sistac
- Towards a Unified Agent Architecture that Combines Rationality with Reactivity / R. Kowalski and F. Sadri
- Learning Query Rules for Optimizing Databases with Update Rules / D. Laurent and C. Vrain
- Formal Characterization of Active Databases / C. Baral and J. Lobo
- Nested Transactions in a Logical Language for Active Rules / B. Ludascher, W. May and G. Lausen
- Deductive Databases: Challenges, Opportunities and Future Directions / A. Siebes, S. Tsur and J. Ullman [et al.]
- R-Stable Models for Logic Programs / H. Jakobovits and D. Vermeir
- The Expressive Power of Partial Models in Disjunctive Deductive Databases / T. Eiter, N. Leone and D. Sacca
- Stable Model Checking for Disjunctive Logic Programs / N. Leone, P. Rullo and F. Scarcello
- Analysis of Logic-Based Systems / D. Boulanger
- An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases / A. Spalka and A. B. Cremers
- Database Query Evaluation with the STARBASE Method / E. Pulido
- The Limits of Fixed-Order Computation / K. Sagonas, T. Swift and D. S. Warren
- The IQ System: A Deductive Database Information Lens for Reasoning about Textual Information / B. Kero and S. Tsur
- Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases / G. Dobbie and R. Topor
- Sequence Datalog: Declarative String Manipulation in Databases / A. Bonner and G. Mecca
- Language Extensions for Semantic Integration of Deductive Databases / P. Asirelli, C. Renso and F. Turini
- Unification of Bounded Simple Set Terms in Deductive Databases / S. Greco, C. Mateis and E. Spadafora
- Expressiveness of Semipositive Logic Programs with Value Invention / L. Cabibbo
- A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct / F. Gire and H. K. Hoang.
