default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 122 matches
- 1998
- Jean-François Boulicaut, Patrick Marcel, François Pinet, Christophe Rigotti:
Spreadsheet Generation from Rule-Based Specifications. DDLP 1998: 59-70 - Nieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá:
Chasing Programs in Datalog. DDLP 1998: 12-24 - François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge:
SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36 - Yangjun Chen:
Evaluating Linear Binary Programs by Traversing Automaton Hierarchy. DDLP 1998: 37-46 - Cindy Xinmin Chen, Carlo Zaniolo:
Universal Temporal Data Languages. DDLP 1998: 113-126 - Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140 - 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: 47-58 - Mengchi Liu:
Overview of Datalog Extensions. DDLP 1998: 99-112 - Mengchi Liu:
Logical Semantics and Languages for Databases with Partial and Complete Tuples and Sets. DDLP 1998: 141-155 - Riqiang Shan, Mengchi Liu:
Introduction to the Relationlog System. DDLP 1998: 71-84 - Haixun Wang, Carlo Zaniolo:
User Defined Aggregates for Logical Data Languages. DDLP 1998: 85-97 - Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel:
Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98. GMD Report 22, 1998 [contents] - 1997
- Foto N. Afrati, Francesca Toni:
On the Relationship Between Chain Queries and Linear Datalog Programs. DDLP 1997 - Troels Andreasen, Henning Christiansen:
Hypothetical Queries to Deductive Databases. DDLP 1997 - Andreas Fordan:
Linear Constraint Projection - Top-Down and Bottom-Up. DDLP 1997 - 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 - Mohand-Said Hacid, Patrick Marcel, Christophe Rigotti:
Extending Datalog for Ordered Multidimensional Databases. DDLP 1997 - Hasan M. Jamil:
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++. DDLP 1997 - Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Efficient Transformation for Bottom-up Computation of Stable Models. DDLP 1997 - Sarah Mallet, Mireille Ducassé:
An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. DDLP 1997 - Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang:
CRD: A New Data Mining Method in Deductive Databases. DDLP 1997 - Ulrich Geske, Carolina Ruiz, Dietmar Seipel:
Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers. GMD - German National Research Center for Information Technology 1997, ISBN 3-88457-317-9 [contents] - 1996
- José Francisco Aldana Montes, José M. Troya:
Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78 - Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery:
A Logical Database for Validating System Models. DDLP 1996: 119-134 - Peter Baumgartner, Ulrich Furbach:
Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43 - 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 - Parke Godfrey, Jarek Gryz:
A Framework for Intensional Query Optimization. DDLP 1996: 57-68 - Heinrich Herre, Gerd Wagner:
Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106 - Charlie F. Obimbo, Bruce Spencer:
Access Clause Trees in Disjunctive Deductive Databases. DDLP 1996: 15-28 - Riccardo Rosati:
On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118
skipping 92 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-21 15:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint