


default search action
Workshop on Deductive Databases and Logic Programming 1996
- Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel:

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien 295, GMD, Sankt Augustin, Germany 1996, ISBN 3-88457-295-4
Disjunctive Deductive Databases
- Charlie F. Obimbo, Bruce Spencer:

Access Clause Trees in Disjunctive Deductive Databases. DDLP 1996: 15-28 - Peter Baumgartner, Ulrich Furbach:

Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
Query Optimization
- Ulrich Zukowski, Burkhard Freitag:

The Differential Fixpoint of General Logic Programs. DDLP 1996: 45-56 - Parke Godfrey, Jarek Gryz:

A Framework for Intensional Query Optimization. DDLP 1996: 57-68 - José Francisco Aldana-Montes, José M. Troya:

Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78
Advanced Concepts
- Carl-Alexander Wichert, Burkhard Freitag:

Logical Specification of Bulk Updates and Sequential Updates. DDLP 1996: 79-93 - Heinrich Herre, Gerd Wagner:

Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106 - Riccardo Rosati:

On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118
Applications
- Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery:

A Logical Database for Validating System Models. DDLP 1996: 119-134 - 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. DDLP 1996: 135-151

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














