The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002