Thomas Eiter, Georg Gottlob, Heikki Mannila  Home/Search
Context Related
| cs.helsinki.fi/~mannil...disjunctive.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.helsinki.fi/...ngpublications (more) Homepages: T.Eiter |
Rate this article:      (best)Comment on this article |
Abstract: We consider disjunctive datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive datalog is a variant of datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies, which can be handled according to a semantics for negation in disjunctive logic programming. In particular, we investigate three different semantics for disjunctive datalog: the minimal model semantics, the perfect models semantics, ... (Update)
Cited by: More
Splitting an Operator: Algebraic modularity results for .. - Vennekens, Gilis.. (2005) (Correct)
Solving Hard Disjunctive Logic Programs Faster - Sometimes Gerald Pfeifer (2003) (Correct)
Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (2003) (Correct)
Similar documents (at the sentence level):
37.7%: Disjunctive Datalog - Eiter, Gottlob, Mannila (1997) (Correct)
6.2%: Adding Disjunction to Datalog (Extended Abstract) - Eiter, Gottlob, Mannila (1994) (Correct)
Active bibliography (related documents): More All
1.2: Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1997) (Correct)
0.9: Expressive Power and Complexity of Partial Models for.. - Eiter, Leone, al. (1999) (Correct)
0.7: Knowledge Representation with Logic Programs - Gerhard Brewka, Jürgen Dix (1997) (Correct)
Similar documents based on text: More All
0.7: Modular Logic Programming and Generalized Quantifiers - Eiter, Gottlob, Veith (1997) (Correct)
0.5: Argumentation-Based Abduction in Disjunctive Logic Programming - Wang (2000) (Correct)
0.5: Computing Discrete Fréchet Distance - Eiter, Mannila (1994) (Correct)
Related documents from co-citation: More All
26: Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz - 1991
18: the Computational Cost of Disjunctive Logic Programming: Propositional Case - Eiter, Gottlob - 1995
15: Stable semantics for disjunctive programs - Przymusinski - 1991
BibTeX entry: (Update)
T. Eiter, G. Gottlob, and H. Mannilla. Disjunctive Datalog. ACM TODS, 22(3):364--418, 1997. http://citeseer.ist.psu.edu/article/eiter97disjunctive.html More
@article{ eiter97disjunctive,
author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
title = "Disjunctive {Datalog}",
journal = "ACM Transactions on Database Systems",
volume = "22",
number = "3",
pages = "364--418",
year = "1997",
url = "citeseer.ist.psu.edu/article/eiter97disjunctive.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1989
951 Computational Complexity (context) - Papadimitriou - 1994
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
850 A Logic for Default Reasoning (context) - Reiter - 1980
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995
379 Complexity of Relational Query Languages (context) - Vardi - 1982
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
312 The Well-Founded Semantics for General Logic Programs - van Gelder, Ross et al. - 1991
311 Semantical Considerations on Nonmonotonic Logics (context) - Moore - 1985
297 Applications of Circumscription to Formalizing Common-Sense .. - McCarthy - 1986
291 Theoretical Computer Science (context) - Stockmeyer, Hierarchy - 1977
245 Relational Queries Computable in Polynomial Time - Immerman - 1986
210 Generalized First-Order Spectra and Polynomial-Time Recogniz.. (context) - Fagin - 1974
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
185 On Indefinite Data Bases and the Closed World Assumption (context) - Minker - 1982
151 The Complexity of Optimization Problems (context) - Krentel - 1988
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
149 Logic and the Challenge of Computer Science (context) - Gurevich - 1988
127 Lanczos Algorithms for Large Symmetric Eigenvalue Computatio.. (context) - Cullum, Willoughby - 1985
120 Stable Semantics for Disjunctive Programs - Przymusinski - 1991
91 Splitting a Logic Program - Lifschitz, Turner - 1994
90 Horn Clause Queries and Generalizations (context) - Chandra, Harel - 1985
88 Two Theses of Knowledge Representation: Language Restriction.. - Doyle, Patil - 1991
88 Elements of Relational Database Theory (context) - Kanellakis - 1990
76 Static semantics for normal and disjunctive logic programs - Przymusinski - 1995
73 Modular Stratification and Magic Sets for Datalog Programs w.. (context) - Ross - 1994
69 the Computational Cost of Disjunctive Logic Programming: Pro.. - Eiter, Gottlob - 1995
65 Why Not Negation By Fixpoint (context) - Kolaitis, Papadimitriou - 1991
64 Stable Models and Non-Determinism in Logic Programs with Neg.. (context) - Sacc'a, Zaniolo - 1990
61 The Expressive Powers of Logic Programming Semantics (context) - Schlipf - 1995
61 Disjunctive Stable Models: Unfounded Sets (context) - Leone, Rullo et al. - 1995
51 the Expressive Power of Datalog: Tools and a Case Study - Kolaitis, Vardi - 1995
46 Disjunctive Semantics based upon Partial and Bottom-Up Evalu.. - Brass, Dix - 1995
44 Deduction in Non-Horn Databases (context) - Yahya, Henschen - 1985
44 Stable and Extension Class Theory for Logic Programs and Def.. (context) - Baral, Subrahmanian - 1992
43 Propositional Semantics for Disjunctive Logic Programs (context) - Ben-Eliyahu, Dechter - 1994
43 Mixed Integer Programming Methods for Computing Non-Monotoni.. - Bell, Nerode et al. - 1994
42 Infinitary Logic in Finite-Model Theory (context) - Kolaitis, Vardi et al. - 1992
42 Non-Deterministic Languages to Express Deterministic Transfo.. (context) - Abiteboul, Simon et al. - 1990
41 An Alternative Approach to the Semantics of Disjunctive Logi.. (context) - Sakama, Inoue - 1994
38 IEEE Transactions on Knowledge and Data Engineering (context) - Borgida, in - 1995
38 Minimalism Subsumes Default Logic and Circumscription in Str.. (context) - Bidoit, Froidevaux - 1987
35 The Expressive Power of Stratified Logic Programs (context) - Kolaitis - 1991
34 Adding Disjunction to Datalog (context) - Eiter, Gottlob et al. - 1994
31 Classifying Semantics of Disjunctive Logic Programs (context) - Dix - 1992
31 A Note on Succinct Representations of Graphs (context) - Papadimitriou, Yannakakis - 1985
31 A Call to Order (context) - Maier, Vance - 1993
30 Super logic programs - Brass, Dix et al. - 1996
25 Extended Logic Programs as Autoepistemic Theories - Lifschitz, Turner - 1993
23 Translating Default Logic into Standard Autoepistemic Logic (context) - Gottlob - 1995
21 the Declarative and Procedural Semantics of Stratified Deduc.. (context) - Przymusinski - 1988
20 Reasoning with Minimal Models: Efficient Algorithms and Appl.. (context) - Ben-Eliyahu, Palopoli - 1994
20 Second-Order Logic and the Weak Exponential Hierarchies (context) - Gottlob, Leone et al. - 1995
20 A Restricted Second Order Logic for Finite Structures (context) - Dawar - 1995
19 Paraconsistent Stable Semantics for Extended Disjunctive Pro.. - Sakama, Inoue - 1995
19 Relating Disjunctive Logic Programs to Default Theories - Sakama, Inoue - 1993
18 A Survey of Complexity and Undecidability Results in Logic P.. (context) - Schlipf - 1995
17 The Complexity of Algorithmic Problems on Succinct Instances (context) - Balc'azar, Lozano et al. - 1992
17 Annals of Mathematics and Artificial Intelligence (context) - Minker, Disjunctive - 1994
17 Computing Circumscriptive Databases (context) - Nerode, Ng et al. - 1995
16 The Complexity of Unique Solutions (context) - Papadimitriou - 1984
15 Autoepistemic Circumscription and Logic Programming - You, Yuan - 1993
14 The Relational Model of Data and Cylindric Algebras (context) - Imielinski, Lipski - 1984
12 The Expressive Powers of Stable Models for Bound and Unbound.. (context) - Sacc'a
12 Annals of Pure and Applied Logic (context) - Schlipf, Definability - 1987
11 General Logic Databases and Programs: Default Semantics and .. (context) - Bidoit, Froidevaux - 1991
11 Computer and System Sciences (context) - Chandra, Harel et al. - 1982
10 Representing Actions in Default Logic: A Situation Calculus .. - Turner - 1996
10 Complete Problems Involving Boolean Labelled Structures and .. (context) - Stewart - 1991
10 A knowledge representation framework based on autoepistemic .. - Przymusinski - 1994
9 Reasoning with Stratified Default Theories (context) - Cholewinski - 1995
9 Expressive Power of Partial Models for Disjunctive Deductive.. (context) - Eiter, Leone et al. - 1996
9 Implementing Deductive Databases by Mixed Integer Programmin.. (context) - Bell, Nerode et al. - 1996
8 Normal Forms for Second-Order Logic over Finite Structures - Eiter, Gottlob et al. - 1996
8 Negation as Failure = Only Knowing (context) - Chen - 1993
7 Disjunctive Logic Programming and Databases: Nonmonotonic As.. (context) - Dix, Loveland et al. - 1996
6 Generalized Closed World Assumption is \Pi 0 2 -complete (context) - Chomicki, Subrahmanian - 1990
6 Implementing Semantics of Disjunctive Logic Programs Using F.. (context) - Dix, Muller - 1993
6 Non-Monotonic Reasoning Based on Minimal Models and its Effi.. - Seipel
5 Logical Programming and Databases (context) - Ceri, Gottlob et al. - 1990
5 Succinct Representation and Leaf Languages - Veith - 1996
5 A comparison of the static and disjunctive well-founded sema.. - Brass, Dix et al. - 1996
4 Using Default Logic as a Query Language (context) - Cadoli, Eiter et al. - 1994
3 Logical Reducibilities in Finite Model Theory (context) - Veith - 1994
2 Note on the Complexity of Some Eigenvector Problems - Eiter, Gottlob - 1995
2 the Extension of Logic Programming with Negation through Uni.. (context) - You, Yuan - 1995
2 A General Framework for Semantics of Disjunctive Logic Progr.. (context) - Brass, Dix
1 th IFIP World Computer Congress (context) - Wolfinger - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.helsinki.fi/~mannila/data-mining-publications.html): More
Finding Similar Time Series - Das, Gunopulos, Mannila (1996) (Correct)
Data Mining as Selective Theory Extraction in Probabilistic .. - Jaeger, Mannila, Weydert (1996) (Correct)
Discovery of Frequent Episodes in Event Sequences - Mannila, Toivonen, Verkamo (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC