Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFoundations of Deductive Databases and Logic Programming
- Jack Minker:
Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0 - Jack Minker:
Introduction. 1-16
Negation and Stratified Databases
- John C. Shepherdson:
Negation in Logic Programming. 19-88 - Krzysztof R. Apt, Howard A. Blair, Adrian Walker:
Towards a Theory of Declarative Knowledge. 89-148 - Allen Van Gelder:
Negation as Failure Using Tight Derivations for General Logic Programs. 149-176 - Vladimir Lifschitz:
On the Declarative Semantics of Logic Programs with Negation. 177-192 - Teodor C. Przymusinski:
On the Declarative Semantics of Deductive Databases and Logic Programs. 193-216 - Rodney W. Topor, Liz Sonenberg:
On Domain Independent Databases. 217-240
Fundamental Issues in Deductive Databases and Implementation
- Upen S. Chakravarthy, John Grant, Jack Minker:
Foundations of Semantic Query Optimization for Deductive Databases. 243-273 - Tomasz Imielinski:
Intelligent Query Answering in Rule Based Systems. 275-312 - Fariba Sadri, Robert A. Kowalski:
A Theorem-Proving Approach to Database Integrity. 313-362 - Sanjay Manchanda, David Scott Warren:
A Logic-based Language for Database Updates. 363-394 - Lawrence J. Henschen, Hyung-Sik Park:
Compiling the GCWA in Indefinite Deductive Databases. 395-438 - François Bancilhon, Raghu Ramakrishnan:
Performance Evaluation of Data Intensive Logic Programs. 439-517 - James A. Thom, Kotagiri Ramamohanarao, Lee Naish:
A Superjoin Algorithm for Deductive Databases. 519-543
Unification and Logic Programs
- Paris C. Kanellakis:
Logic Programming and Parallel Complexity. 547-585 - Jean-Louis Lassez, Michael J. Maher, Kim Marriott:
Unification Revisited. 587-625 - Michael J. Maher:
Equivalences of Logic Programs. 627-658 - Yehoshua Sagiv:
Optimizing Datalog Programs. 659-698 - Maarten H. van Emden, Péter Szeredi:
Converting AND-Control to OR-Control by Program Transformation. 699-709
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.
last updated on 2024-04-22 20:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
