| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel (eds.) |
Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98  |
DDLP  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Boulicaut, Patrick Marcel, François Pinet, Christophe Rigotti |
Spreadsheet Generation from Rule-Based Specifications. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rainer Himmeröder, Paul-Thomas Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen |
Search, Analysis, and Integration of Web Documents: A Case Study with FLORID. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Haixun Wang, Carlo Zaniolo |
User Defined Aggregates for Logical Data Languages. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Cindy Xinmin Chen, Carlo Zaniolo |
Universal Temporal Data Languages. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Riqiang Shan, Mengchi Liu |
Introduction to the Relationlog System. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mengchi Liu |
Overview of Datalog Extensions. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Nieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá |
Chasing Programs in Datalog. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca |
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mengchi Liu |
Logical Semantics and Languages for Databases with Partial and Complete Tuples and Sets. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yangjun Chen |
Evaluating Linear Binary Programs by Traversing Automaton Hierarchy. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge 0001 |
SIC: Satisfiability Checking for Integrity Constraints. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sarah Mallet, Mireille Ducassé |
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Koichi Furukawa, Tomonobu Ozaki, Tomoko Murakami, Ken Ueno, Keiko Shimazu |
Query Evaluation of Deductive Database by MGTP and its Application to Data Mining. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
Efficient Transformation for Bottom-up Computation of Stable Models. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Troels Andreasen, Henning Christiansen 0001 |
Hypothetical Queries to Deductive Databases. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andreas Fordan |
Linear Constraint Projection - Top-Down and Bottom-Up. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang |
CRD: A New Data Mining Method in Deductive Databases. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hasan M. Jamil |
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Geske, Carolina Ruiz, Dietmar Seipel (eds.) |
Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti |
Extending Datalog for Ordered Multidimensional Databases. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Foto N. Afrati, Francesca Toni |
On the Relationship Between Chain Queries and Linear Datalog Programs. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Parke Godfrey, Jarek Gryz |
A Framework for Intensional Query Optimization. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Charlie F. Obimbo, Bruce Spencer |
Access Clause Trees in Disjunctive Deductive Databases. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, Ulrich Furbach |
Hyper Tableaux and Disjunctive Logic Programming. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Carl-Alexander Wichert, Burkhard Freitag |
Logical Specification of Bulk Updates and Sequential Updates. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati 0001 |
On the Complexity of Reasoning with Negation as Failure. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Herre, Gerd Wagner 0001 |
Stable Semantics of Temporal Deductive Databases. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel (eds.) |
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 |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Zukowski, Burkhard Freitag |
The Differential Fixpoint of General Logic Programs. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | José Francisco Aldana Montes, José M. Troya |
Data Flow Evaluation of Datalog Queries. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery |
A Logical Database for Validating System Models. |
DDLP |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license