Abstract is missing.
- Logic and Databases: A 20 Year RetrospectiveJack Minker. 3-57
- A Parametric Approach to Deductive Databases with UncertaintyLaks V. S. Lakshmanan, Nematollaah Shiri. 61-81
- A Deductive Database Approach to Planning in Uncertain EnvironmentsV. S. Subrahmanian, Charlie Ward. 83-98
- Termination Properties of Spatial Datalog ProgramsBart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche. 101-116
- Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint CheckingCarme Martín, Jaume Sistac. 117-134
- Towards a Unified Agent Architecture that Combines Rationality with ReactivityRobert A. Kowalski, Fariba Sadri. 137-149
- Learning Query Rules for Optimizing Databases with Update RulesDominique Laurent, Christel Vrain. 153-172
- Formal Characterization of Active DatabasesChitta Baral, Jorge Lobo. 175-195
- Nested Transactions in a Logical Language for Active RulesBertram Ludäscher, Wolfgang May, Georg Lausen. 197-222
- Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion)Arno Siebes, Shalom Tsur, Jeffrey D. Ullman, Laurent Vieille, Carlo Zaniolo. 225-229
- R-Stable Models for Logic ProgramsHadassa Jakobovits, Dirk Vermeir. 233-243
- The Expressive Power of Partial Models in Disjunctive Deductive DatabasesThomas Eiter, Nicola Leone, Domenico Saccà. 245-264
- Stable Model Checking for Disjunctive Logic ProgramsNicola Leone, Pasquale Rullo, Francesco Scarcello. 265-278
- Analysis of Logic-Based SystemsDmitri Boulanger. 281-301
- An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational DatabasesAdrian Spalka, Armin B. Cremers. 303-319
- Database Query Evaluation with the STARBASE MethodEstrella Pulido. 323-342
- The Limits of Fixed-Order ComputationKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. 343-363
- The IQ System: A Deductive Database Information Lens for Reasoning about Textual InformationBob Kero, Shalom Tsur. 367-385
- Arithmetic and Aggregate Operators in Deductive Object-Oriented DatabasesGillian Dobbie, Rodney W. Topor. 389-397
- Sequence Datalog: Declarative String Manipulation in DatabasesAnthony J. Bonner, Giansalvatore Mecca. 399-413
- Language Extensions for Semantic Integration of Deductive DatabasesPatrizia Asirelli, Chiara Renso, Franco Turini. 415-434
- Unification of Bounded Simple Set Terms in Deductive DatabasesSergio Greco, Cristinel Mateis, Eugenio Spadafora. 435-453
- Expressiveness of Semipositive Logic Programs with Value InventionLuca Cabibbo. 457-474
- A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice ConstructFrançoise Gire, H. Khanh Hoang. 475-495