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:	168 - 48 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

1950	Computational Complexity - Papadimitriou - 1995
1739	Foundations of Logic Programming - Lloyd - 1984
1267	Foundations of Databases - Abiteboul, Hull, et al. - 1995
1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
708	Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, et al. - 1995
689	Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
485	The Complexity of Relational Query Languages - Vardi - 1982
436	Applications of Circumscription to Formalizing Commonsense Knowledge - McCarthy - 1986
407	Semantical considerations on nonmonotonic logic - Moore - 1985
287	Logic Programming and Databases - Ceri, Gotlob, et al. - 1990
254	Relational queries computable in polynomial time - Immerman - 1986
242	Generalized first-order spectra and polynomial-time recognizable sets - Fagin - 1974
236	The polynomial-time hierarchy - Stockmeyer - 1977
233	Structure and complexity of relational queries - Chandra, Harel - 1982
229	Foundations of logic programming - Lifschitz - 1996
202	Logic programming and knowledge representation - Baral, Gelfond - 1994
192	Principles of Database and Knowledge Base Systems - Ullman - 1989
174	Description logics in data management - Borgida - 1995
172	Foundations of Disjunctive Logic Programming - Lobo, Minker, et al. - 1992
168	The complexity of optimization problems - Krentel - 1988
152	Lanczos Algorithms for Large Symmetric Eigenvalue Computations, Volume 1: Theory - Cullum, Willoughby - 1985
149	Logic and the challenge of computer science - Gurevich - 1988
149	Stable semantics for disjunctive programs - Przymusinski - 1991
138	Propositional semantics for disjunctive logic programs - Ben-Eliyahu, Dechter - 1994
118	Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services - Doyle, Patil - 1991
117	Stable Models and Non-Determinism in Logic Programs with Negation - Saccà, Zaniolo - 1990
103	Elements of relational database theory - Kanellakis - 1990
95	On the computational cost of disjunctive logic programming: Propositional case - Eiter, Gottlob - 1995
93	Modular stratification and magic sets for DATALOG programs with negation - Ross - 1990
74	The expressive powers of the logic programming semantics - Schlipf - 1995
73	Why not negation by fixpoint - Kolaitis, Papadimitriou - 1991
70	Clause Queries and Generalizations - Horn - 1985
68	On indefinite data bases and the closed world assumption - Minker - 1982
68	Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski - 1995
62	Disjunctive Stable Models: Unfounded sets, Fixpoint Semantics, and Computation - Leone, Rullo, et al. - 1997
58	General logical databases and programs: Default logic semantics and stratification - Bidoit, Froidevaux - 1991
49	Stable and extension class theory for logic programs and default logics - Baral, Subrahmanian - 1992
48	On the expressive power of datalog: tools and a case study - Kolaitis, Vardi - 1995
46	Disjunctive Semantics based upon Partial and Bottom-Up Evaluation - Brass, Dix
42	Mixed integer programming methods for computing nonmonotonic deductive databases - Bell, Nerode, et al. - 1994
42	A Call to Order - Maier, Vance - 1993
40	Deduction in non-horn databases - Yahya, Henschen - 1985
39	Default Logic as a Query Language - Cadoli, Eiter, et al. - 1997
39	A Survey of Complexity and Undecidability Results in Logic Programming - Schlipf - 1992
38	clause queries and generalizations - Chandra, Harel, et al. - 1985
38	An alternative approach to the semantics of disjunctive logic programs and deductive databases - Sakama, Inoue - 1994
37	Non-deterministic languages to express deterministic transformations - Abiteboul, Simon, et al. - 1990
37	Minimalism subsumes default logic and circumscription in stratified logic programming - Bidoit, Froidevaux - 1987