Conferences in DBLP

Deductive Database Workshops (deductive)
1996 (conf/deductive/96)

1. Charlie F. Obimbo, Bruce Spencer
   Access Clause Trees in Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:15-28 [Conf]
   
2. Peter Baumgartner, Ulrich Furbach
   Hyper Tableaux and Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:29-43 [Conf]
   
3. Ulrich Zukowski, Burkhard Freitag
   The Differential Fixpoint of General Logic Programs. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:45-56 [Conf]
   
4. Parke Godfrey, Jarek Gryz
   A Framework for Intensional Query Optimization. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:57-68 [Conf]
   
5. José Francisco Aldana Montes, José M. Troya
   Data Flow Evaluation of Datalog Queries. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:69-78 [Conf]
   
6. Carl-Alexander Wichert, Burkhard Freitag
   Logical Specification of Bulk Updates and Sequential Updates. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:79-93 [Conf]
   
7. Heinrich Herre, Gerd Wagner
   Stable Semantics of Temporal Deductive Databases. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:95-106 [Conf]
   
8. Riccardo Rosati
   On the Complexity of Reasoning with Negation as Failure. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:107-118 [Conf]
   
9. Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery
   A Logical Database for Validating System Models. [Citation Graph (0, 0)][DBLP]
   DDLP, 1996, pp:119-134 [Conf]
   
10. Marilisa E. Carboni, Annalisa Di Deo, Fosca Giannotti, Maria V. Masserotti
    Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. [Citation Graph (0, 0)][DBLP]
    DDLP, 1996, pp:135-151 [Conf]