Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on Deductive Databases and Logic Programming 1996

> Home > Conferences and Workshops > Workshop on Deductive Databases and Logic Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/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

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/ObimboS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/ObimboS96
Charlie F. Obimbo, Bruce Spencer:
Access Clause Trees in Disjunctive Deductive Databases. DDLP 1996: 15-28
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/BaumgartnerF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/BaumgartnerF96
Peter Baumgartner, Ulrich Furbach:
Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43

Query Optimization

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/ZukowskiF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/ZukowskiF96
Ulrich Zukowski, Burkhard Freitag:
The Differential Fixpoint of General Logic Programs. DDLP 1996: 45-56
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/GodfreyG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/GodfreyG96
Parke Godfrey, Jarek Gryz:
A Framework for Intensional Query Optimization. DDLP 1996: 57-68
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/AldanaT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/AldanaT96
José Francisco Aldana Montes, José M. Troya:
Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78

Advanced Concepts

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/WichertF96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/WichertF96
Carl-Alexander Wichert, Burkhard Freitag:
Logical Specification of Bulk Updates and Sequential Updates. DDLP 1996: 79-93
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/HerreW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/HerreW96
Heinrich Herre, Gerd Wagner:
Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/Rosati96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/Rosati96
Riccardo Rosati:
On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118

Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/AsirelliCJ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/AsirelliCJ96
Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery:
A Logical Database for Validating System Models. DDLP 1996: 119-134
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/deductive/CarboniDGM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deductive/CarboniDGM96
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

a service of

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.