LID 1996: San Miniato, Italy

@proceedings{DBLP:conf/lid/1996,
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Logic in Databases, International Workshop LID'96, San Miniato,
               Italy, July 1-2, 1996, Proceedings},
  booktitle = {LID},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  year      = {1996},
  isbn      = {3-540-61814-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Lecture

• Jack Minker: Logic and Databases: A 20 Year Retrospective. 3-57

Uncertainty

• Laks V. S. Lakshmanan, Nematollaah Shiri: A Parametric Approach to Deductive Databases with Uncertainty. 61-81
• V. S. Subrahmanian, Charlie Ward: A Deductive Database Approach to Planning in Uncertain Environments. 83-98

Temporal and Spatial Reasoning

• Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche: Termination Properties of Spatial Datalog Programs. 101-116
• Carme Martín, Jaume Sistac: Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking. 117-134

Invited Lecture

• Robert A. Kowalski, Fariba Sadri: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. 137-149

Updates

• Dominique Laurent, Christel Vrain: Learning Query Rules for Optimizing Databases with Update Rules. 153-172

Active Databases

• Chitta Baral, Jorge Lobo: Formal Characterization of Active Databases. 175-195
• Bertram Ludäscher, Wolfgang May, Georg Lausen: Nested Transactions in a Logical Language for Active Rules. 197-222

Panel Discussion

• Arno Siebes, Shalom Tsur, Jeffrey D. Ullman, Laurent Vieille, Carlo Zaniolo: Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion). 225-229

Semantics

• Hadassa Jakobovits, Dirk Vermeir: R-Stable Models for Logic Programs. 233-243
• Thomas Eiter, Nicola Leone, Domenico Saccà: The Expressive Power of Partial Models in Disjunctive Deductive Databases. 245-264
• Nicola Leone, Pasquale Rullo, Francesco Scarcello: Stable Model Checking for Disjunctive Logic Programs. 265-278

Advanced Applications

• Dmitri Boulanger: Analysis of Logic-Based Systems. 281-301
• Adrian Spalka, Armin B. Cremers: An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases. 303-319

Query Evaluation

• Estrella Pulido: Database Query Evaluation with the STARBASE Method. 323-342
• Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The Limits of Fixed-Order Computation. 343-363

Invited Lecture

• Bob Kero, Shalom Tsur: The IQ System: A Deductive Database Information Lens for Reasoning about Textual Information. 367-385

Language Extensions

• Gillian Dobbie, Rodney W. Topor: Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases. 389-397
• Anthony J. Bonner, Giansalvatore Mecca: Sequence Datalog: Declarative String Manipulation in Databases. 399-413
• Patrizia Asirelli, Chiara Renso, Franco Turini: Language Extensions for Semantic Integration of Deductive Databases. 415-434
• Sergio Greco, Cristinel Mateis, Eugenio Spadafora: Unification of Bounded Simple Set Terms in Deductive Databases. 435-453

Logic Constructs and Expressive Power

• Luca Cabibbo: Expressiveness of Semipositive Logic Programs with Value Invention. 457-474
• Françoise Gire, H. Khanh Hoang: A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct. 475-495