Disjunctive Datalog

Disjunctive Datalog (1997)

Cached

Download Links

[www.kr.tuwien.ac.at]

Other Repositories/Bibliography

DBLP

by Thomas Eiter , Georg Gottlob , Heikki Mannila

Venue:	ACM TRANSACTIONS ON DATABASE SYSTEMS
Citations:	196 - 50 self

BibTeX

@ARTICLE{Eiter97disjunctivedatalog,
    author = {Thomas Eiter and Georg Gottlob and Heikki Mannila},
    title = {Disjunctive Datalog},
    journal = {ACM TRANSACTIONS ON DATABASE SYSTEMS},
    year = {1997},
    volume = {22},
    number = {3},
    pages = {364--418}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2247	Computational complexity - Papadimitriou - 2003
1834	Foundations of Logical Programming - Lloyd - 1984
1441	Foundations of Databases - Abiteboul, Hull, et al. - 1995
1435	The stable model semantics for logic programming - Gelfond, Lifschitz
1387	A logic for default reasoning - Reiter - 1980
824	The well-founded semantics for general logic programs - Gelder, Ross, et al. - 1991
805	Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
744	Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, et al. - 1995
520	The complexity of relational query languages - Vardi - 1982
468	Applications of circumscription to formalizing commonsense knowledge - McCarthy - 1986
432	Semantical considerations on nonmonotonic logic - Moore - 1985
303	Logic Programming and Databases - Ceri, Gottlob, et al. - 1990
269	Generalized first-order spectra and polynomial-time recognizable sets, in - Fagin - 1974
268	Relational queries computable in polynomial time - Immerman - 1986
259	The polynomial-time hierarchy - Stockmeyer - 1976
257	H.: Splitting a logic program - Lifschitz, Turner - 1994
241	Structure and complexity of relational queries - Chandra, Harel - 1982
218	Logic programming and knowledge representation - Baral, Gelfond - 1994
203	Principles of Database and Knowledge Base Systems - Ullman - 1989
187	Lanczos Algorithms for Large Symmetric Eigenvalue Computations. Vol. I: Theory - Cullum, Willoughby - 2002
186	On extended disjunctive logic programs - Minker, Ruiz - 1993
183	The complexity of optimization problems - Krentel - 1988
177	Description Logics in Data Management - Borgida - 1995
160	Stable semantics for disjunctive programs - Przymusinski - 1991
151	Logic and the challenge of computer science - Gurevich - 1988
145	Propositional semantics for disjunctive logic programs - Ben-Eliyahu, Dechter - 1994
127	Stable models and non-determinism in logic programs with negation - Sacca, Zaniolo
120	Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services - Doyle, Patil - 1991
108	On the computational cost of disjunctive logic programming: propositional case - Eiter, Gottlob - 1995
108	Elements of Relational Database Theory - Kanellakis - 1990
100	Modular stratification and magic sets for Datalog programs with negation - Ross - 1994
84	The expressive powers of the logic programming semantics - Schlipf - 1995
73	Why not negation by fixpoint - Kolaitis, Papadimitriou - 1991
73	Disjunctive stable models: Unfounded sets, fixpoint semantics and computation - Leone, Rullo, et al. - 1997
72	clause queries and generalizations - Horn - 1993
71	On Indefinite Data Bases and the Closed World Assumption - Minker - 1982
71	Static semantics for normal and disjunctive logic programs - Przymusinski - 1995
61	General logical databases and programs: Default logic semantics and strati cation - Bidoit, Froidevaux - 1991
52	On the expressive power of Datalog: Tools and a case study - Kolaitis, Vardi - 1995
50	Stable and Extension Class Theory for Logic Programs and Default Logics - Baral, Subrahmanian - 1992
47	Disjunctive semantics based upon partial and bottom-up evaluation - BRASS, DIX - 1995
44	Mixed integer programming methods for computing nonmonotonic deductive databases - Bell, Nerode, et al. - 1994
43	Default logic as a query language - Cadoli, Eiter, et al. - 1997
43	Complexity and undecidability results for logic programming - Schlipf - 1995
43	Deduction in Non-Horn Databases - Yahya, Henschen - 1985
42	A call to order - MAIER, VANCE - 1993
41	clause queries and generalizations - Chandra, Harel - 1985
41	A Note on Succinct Representations of Graphs - Papadimitriou, Yannakakis - 1986
41	An alternative approach to the semantics of disjunctive logic programs and deductive databases - Sakama, Inoue - 1994
40	Lánczos Algorithms for Large Symmetric - Cullum, Willoughby - 1985