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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jean-François Boulicaut, Patrick Marcel, François Pinet, Christophe Rigotti |
Spreadsheet Generation from Rule-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 59-70, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 47-58, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Haixun Wang, Carlo Zaniolo |
User Defined Aggregates for Logical Data Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 85-97, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Cindy Xinmin Chen, Carlo Zaniolo |
Universal Temporal Data Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 113-126, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Riqiang Shan, Mengchi Liu |
Introduction to the Relationlog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 71-84, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Mengchi Liu |
Overview of Datalog Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 99-112, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Nieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá |
Chasing Programs in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 12-24, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 127-140, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Mengchi Liu |
Logical Semantics and Languages for Databases with Partial and Complete Tuples and Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 141-155, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Yangjun Chen |
Evaluating Linear Binary Programs by Traversing Automaton Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 37-46, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge 0001 |
SIC: Satisfiability Checking for Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, pp. 25-36, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
Efficient Transformation for Bottom-up Computation of Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Troels Andreasen, Henning Christiansen 0001 |
Hypothetical Queries to Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Andreas Fordan |
Linear Constraint Projection - Top-Down and Bottom-Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang |
CRD: A New Data Mining Method in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Hasan M. Jamil |
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![GMD - German National Research Center for Information Technology, 3-88457-317-9 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti |
Extending Datalog for Ordered Multidimensional Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Foto N. Afrati, Francesca Toni |
On the Relationship Between Chain Queries and Linear Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers, 1997, GMD - German National Research Center for Information Technology, 3-88457-317-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Parke Godfrey, Jarek Gryz |
A Framework for Intensional Query Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 57-68, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Charlie F. Obimbo, Bruce Spencer |
Access Clause Trees in Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 15-28, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach |
Hyper Tableaux and Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 29-43, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Carl-Alexander Wichert, Burkhard Freitag |
Logical Specification of Bulk Updates and Sequential Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 79-93, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
On the Complexity of Reasoning with Negation as Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 107-118, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Heinrich Herre, Gerd Wagner 0001 |
Stable Semantics of Temporal Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 95-106, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![GMD, Sankt Augustin, Germany, 3-88457-295-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 135-151, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Zukowski, Burkhard Freitag |
The Differential Fixpoint of General Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 45-56, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | José Francisco Aldana Montes, José M. Troya |
Data Flow Evaluation of Datalog Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 69-78, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery |
A Logical Database for Validating System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDLP ![In: 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, pp. 119-134, 1996, GMD, Sankt Augustin, Germany, 3-88457-295-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|