LID 1996: San Miniato, Italy

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
  

Last update Mon Feb 13 04:36:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page