See this document in CiteSeerX!

Disjunctive Logic Programming: A Survey And Assessment  (Make Corrections)  
Jack Minker, Dietmar Seipel



  Home/Search   Context   Related

 
View or download:
info1.informatik.uniw...kowalski.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  info1.informatik....papers_seipel (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We describe the elds of disjunctive logic programming and disjunctive deductive databases from the time of their inception to the current time. Contributions with respect to semantics, implementations and applications are surveyed. (Update)

Active bibliography (related documents):   More   All
1.3:   Disjunctive Deductive Databases - Fernández, Minker (1994)   (Correct)
0.7:   Combining Closed World Assumptions with Stable Negation - Ruiz, Minker (1997)   (Correct)
0.7:   Duality for Goal-Driven Query Processing in Disjunctive Deductive.. - Yahya (2002)   (Correct)

Similar documents based on text:   More   All
0.4:   Processing XML-Documents in Prolog - Seipel (2002)   (Correct)
0.4:   Model Generation and State Generation for Disjunctive Logic .. - Seipel, Minker, Ruiz (1997)   (Correct)
0.3:   A Characterization Of The Partial Stable Models For.. - Seipel, Minker, Ruiz (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ minker-disjunctive,
  author = "Jack Minker and Dietmar Seipel",
  title = "Disjunctive Logic Programming: A Survey And Assessment",
  url = "citeseer.ist.psu.edu/625480.html" }
Citations (may not include all citations):
1838   Foundations of Logic Programming (context) - Lloyd - 1987
858   The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850   A logic for default reasoning (context) - Reiter - 1980
759   Negation as failure (context) - Clark - 1978
440   The Art of Prolog (context) - Sterling, Shapiro - 1986
435   Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
413   Logical foundations of object{oriented and frame{based langu.. - Kifer, Lausen et al. - 1995
379   The complexity of relational query languages (context) - Vardi - 1982
374   Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
311   Semantical considerations on nonmonotonic logic (context) - Moore - 1985
295   On closed world data bases (context) - Reiter - 1978
270   Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
224   preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
204   the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
198   Structure and complexity of relational queries - Chandra, Harel - 1982
192   Logic programming (context) - Apt - 1990
189   Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
180   Logic programming and negation: a survey - Apt, Bol - 1994
162   The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
160   Programs with common sense - McCarthy - 1959
159   Predicate logic as a programming language (context) - Kowalski - 1974
156   Satchmo: A theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
151   Autoepistemic logic (context) - Marek, Truszczy - 1991
149   Logic programming and knowledge representation - Baral, Gelfond - 1994
144   Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
134   Extending the database relational model to capture more mean.. (context) - Codd - 1979
120   Stable semantics for disjunctive programs - Przymusinski - 1991
117   Abduction compared with Negation by Failure (context) - Eshghi, Kowalski - 1989
102   Readings in Nonmonotonic Reasoning (context) - Ginsberg - 1987
98   Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
97   Knowledge compilation using Horn approximations - Selman, Kautz - 1991
97   A Prolog technology theorem prover: Implementation by an ext.. - Stickel - 1988
89   Nonmonotonic logic: Context{dependent reasoning (context) - Marek, Truszczy - 1993
87   Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
84   The kr system DLV: Progress report (context) - Eiter, Leone et al. - 1998
82   Semantics of logic programs: their intuitions and formal pro.. - Dix - 1995
78   Preferred answer sets for extended logic programs - Brewka, Eiter - 1999
76   Static semantics for normal and disjunctive logic programs - Przymusinski - 1995
75   Complexity and expressive power of logic programming - Dantsin, Eiter et al. - 1997
67   Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988
62   the declarative and procedural semantics of logic programs - Przymusinski - 1989
61   Logic and Data Bases (context) - Gallaire, Minker - 1978
61   Disjunctive stable models: Unfounded sets (context) - Leone, Rullo et al. - 1997
60   Knowledge compilation and theory approximation - Selman, Kautz - 1996
58   A survey of complexity results for non{monotonic logics - Cadoli, Schaerf - 1993
54   Inferring negative information from disjunctive databases (context) - Ross, Topor - 1988
49   Weak generalized closed world assumption (context) - Rajasekar, Lobo et al. - 1989
46   Disjunctive semantics based upon partial and bottom{ up eval.. - Brass, Dix - 1995
44   Possible model semantics for disjunctive databases - Sakama - 1989
44   Deduction in non{Horn databases (context) - Yahya, Henschen - 1985
43   Forming concepts for fast inference - Kautz, Selman - 1992
43   Mixed integer programming methods for computing nonmonotonic.. - Bell, Nerode et al. - 1994
43   A framework for representing and characterizing semantics of.. (context) - Dix - 1992
42   Database relations with null values - Zaniolo - 1984
41   The complexity for model checking for circumscriptive formul.. - Cadoli - 1992
40   A general approach to bottom{up computation of disjunctive s.. - Brass, Dix - 1995
36   Declarative problem solving using the DLV system (context) - Eiter, Faber et al. - 2000
35   Strong and weak constraints in disjunctive datalog (context) - Buccafurri, Leone et al. - 1997
34   Adding disjunction to Datalog (context) - Eiter, Gottlob et al. - 1994
34   Stationary semantics for disjunctive logic programs and dedu.. (context) - Przymusinski - 1990
33   What the lottery paradox tells us about default reasoning - Poole - 1989
33   An overview of nonmonotonic reasoning and logic programming - Minker - 1993
33   Disjunctive logic programs with inheritance - Buccafurri, Faber et al. - 1999
32   Pushing goal derivation in DLP computations - Faber, Leone et al. - 1997
30   Closure and fairness in the semantics of programming logic (context) - Lassez, Maher - 1984
29   negation in nonmonotonic reasoning and logic programming (context) - Alferes, Pereira et al. - 1998
28   Negation as Failure using tight derivations for general logi.. (context) - Van Gelder - 1988
27   Complexity aspects of various semantics for disjunctive data.. - Eiter, Gottlob - 1993
25   A sound and sometimes complete query evaluation algorithm fo.. (context) - Reiter - 1986
23   Logic for data description (context) - Kowalski - 1978
23   Perspectives in deductive databases (context) - Minker - 1988
23   Semantical and computational aspects of Horn approximations - Cadoli - 1993
23   The complexity of closed world reasoning and circumscription (context) - Cadoli, Lenzerini - 1994
22   Completeness of the Negation as Failure rule (context) - Ja, Lassez et al. - 1983
22   A possible world semantics for disjunctive databases - Chan - 1993
21   Transforming abductive logic programs to disjunctive program.. - Inoue, Sakama - 1993
20   Semantics and expressive power of non{deterministic construc.. - Giannotti, Pedreschi et al. - 2001
20   On databases with incomplete information (context) - Lipski - 1981
19   Stable models are generated by a stable chain - Herre, Wagner - 1997
19   The extended closed world assumption and its relation to par.. (context) - Gelfond, Przymusinska et al. - 1986
18   The stable models of a predicate logic program - Marek, Nerode et al. - 1992
18   On inde nite databases and the closed world assumption (context) - Minker - 1982
18   Satchmore: Satchmo with relevancy - Loveland, Reed et al. - 1993
17   an implementation of the stable model and well{founded seman.. (context) - Niemela, Simons - 1997
17   Semantics of disjunctive deductive databases (context) - Fern, Minker - 1992
17   Linear time algorithms for testing the satis ability of prop.. (context) - Dowling, Gallier - 1984
16   logic programs based on partial evaluation (context) - Brass, Dix et al. - 1999
15   An analysis of approximate knowledge compilation - Val - 1995
15   Expressive power and complexity of partial models for disjun.. - Eiter, Leone et al. - 1998
15   Autoepistemic circumscription and logic programming - Yuan, You - 1993
15   A framework to incorporate nonmonotonic reasoning into const.. - Dix, Stolzenburg - 1998
14   Skeptical reason maintenance and belief revision (context) - Witteveen, Brewka - 1993
14   A comparison of three Prolog extensions (context) - Reed, Loveland - 1992
13   Kleene semantics for logic programs (context) - Fitting, Kripke - 1985
13   Model generation and state generation for disjunctive logic .. - Seipel, Minker et al. - 1997
13   Characterizations of the disjunctive well-founded semantics:.. - Brass, Dix - 1998
12   Complexity of query processing in databases with OR{objects (context) - Imielinski, Vadaparty - 1989
12   The expressive power of stable models for bound and unbound .. (context) - Sacc - 1997
11   the partial semantics for disjunctive deductive databases - Eiter, Leone et al. - 1997
11   The XSB programming system (context) - Warren - 1999
10   An alternative characterization of disjunctive logic program.. (context) - Reed, Loveland et al. - 1991
10   the complexity of Herbrand's theorem (context) - Itai, Makowsky - 1982
9   The early years of logic programming (context) - Kowalski - 1988
9   Querying disjunctive databases through nonmonotonic logics - Bonatti, Eiter - 1996
8   The generalized completeness of Horn predicate logic as a pr.. (context) - Andreka, Nemeti - 1978
8   Planning under incomplete knowledge - Eiter, Faber et al. - 2000
8   Nonmonotonic reasoning: towards ecient calculi and implement.. (context) - Dix, Furbach et al. - 1999
8   Overview of disjunctive logic programming (context) - Minker - 1994
8   Characterizations of the disjunctive Stable semantics by par.. (context) - Brass, Dix - 1997
8   The alternating xpoint of logic programs with negation (context) - Van Gelder - 1989
8   Semantics for disjunctive logic programs with explicit and d.. - Minker, Ruiz - 1994
7   Reducing disjunctive to nondisjunctive semantics by shift op.. - Dix, Gottlob et al. - 1996
7   Expressiveness of stable model semantics for disjunctive log.. (context) - Eiter, Gottlob - 1997
7   Disjunctive logic programming as constrained inferences - You, Wang et al. - 1997
6   An abductive approach to disjunctive logic programming - You, Yuan et al. - 2000
6   stable model semantics (context) - Fern, Lobo et al. - 1993
6   DisLoP: Towards a Disjunctive Logic Programming System - Aravindan, Dix et al. - 1997
6   A sound and complete query evaluation algorithm for relation.. (context) - Yuan, Chiang - 1989
6   Incomplete deductive databases (context) - Imielinski - 1991
5   Why not negation by xpoint (context) - Kolaitis, Papadimitriou - 1991
5   Panel on \Knowledge compilation and approximation - Cadoli - 1996
5   Computing with default logic (context) - Cholewi, Marek et al. - 1999
4   XSB: A system for eciently computing well{founded semantics (context) - Rao, Sagonas et al. - 1997
4   Toward a foundation of disjunctive logic programming - Minker - 1989
4   Abductive logic programming and disjunctive logic programmin.. - Sakama, Inoue - 2000
4   Model theoretic approach to view updates in deductive databa.. (context) - Fern, Grant et al. - 1996
4   Propositional semantics for disjunctive logic programs - BenEliyahu, Dichter - 1994
4   Generalized query answering in disjunctive deductive databas.. - Yahya - 1997
3   Bilattices and the semantics of logic programs (context) - Fitting - 1991
3   the relationship between non{horn magic sets and relevancy t.. - Ohta, Inoue et al. - 1998
3   Reasoning with minimal models: ecient algorithms and applica.. (context) - BenEliyahu, Palopoli - 1994
3   Partial evidential stable models for disjunctive deductive d.. - Seipel - 1998
3   Arithmetic classi cation of perfect models of strati ed prog.. (context) - Apt, Blair - 1991
3   up computation of perfect models for disjunctive theories (context) - Fern, Minker - 1995
3   Journal of Data and Knowledge Engineering (context) - Yahya, generation et al. - 2000
2   Answering queries in inde nite databases and the null value .. (context) - Grant, Minker - 1986
2   View updates in strati ed disjunctive databases (context) - Grant, Horty et al. - 1993
2   Declarative and xpoint characterizations of disjunctive stab.. (context) - Leone, Rullo et al. - 1995
2   Logic knowledge bases with two default rules (context) - Ruiz, Minker - 1998
2   Improving the alternating xpoint: The transformation approac.. (context) - Zukowski, Brass et al. - 1997
2   Przymusinski: A Comparison of the static and the disjunctive.. (context) - Brass, Dix et al. - 1998
2   Przymusinski: Comparison of the STATIC and the disjunctive w.. (context) - Brass, Dix et al. - 2001
2   operational and procedural semantics of disjunctive computat.. (context) - Decker, declarative - 1991
1   Logic and databases: a 20 year retrospective - updated in ho.. (context) - Minker - 1999
1   oriented approach to computing the well{founded semantics (context) - Chen, Warren et al. - 1993
1   On strati ed disjunctive programs (context) - Rajasekar, Minker - 1990
1   world semantics for autoepistemic logic (context) - Moore - 1984
1   up evaluation of hierarchical disjunctive deductive database.. (context) - Fern, Minker - 1991
1   Computing perfect models of disjunctive strati ed databases (context) - Fern, Minker - 1991
1   Combining closed world assumptions with stable negation - Ruiz, Minker - 1997
1   A xpoint semantics for disjunctive logic programs (context) - Minker, Rajasekar - 1990
1   founded semantics for disjunctive logic programs (context) - Ross - 1989
1   theory of semantics of normal logic programs (context) - Dix, cation - 1995
1   Horn Prolog (context) - Loveland - 1987
1   Binding propagation in disjunctive databases (context) - Greco - 1998
1   A general framework for revising nonmonotonic theories (context) - Witteveen, van der Hoek - 1997
1   Stable model checking for disjunctive programs (context) - Leone, Rullo et al. - 1996
1   based approach to data integration (context) - Grant, Minker et al. - 2000
1   On representing inde nite and maybe information in relationa.. (context) - Liu, Sunderraman - 1990
1   valued semantics for deductive databases and logic programs (context) - You, Yuan et al. - 1994
1   The expressive power of tractable disjunction (context) - BenEliyahu, Palopoli et al. - 1996
1   page 600: Elementary formal system (context) - Smullyan, AMS - 1956
1   Horn Prolog interpreter (context) - Smith, Loveland et al. - 1988
1   A characterization of partial stable models for disjunctive .. - Seipel, Minker et al. - 1997
1   accepted for publication in Theory and Practice of Logic Pro.. (context) - Brass, Dix et al. - 2001
1   Query evaluation in deductive databases: bottom-up and top-d.. (context) - Bry - 1990
1   founded semantics by transformation: The non{ground case (context) - Zukowski, Freitag - 1999
1   de ned aggregates for the next generation of database system.. (context) - Zaniolo, Wang et al. - 1999
1   Optimization of disjunctive queries (context) - Greco - 1999
1   Minimal founded semantics for disjunctive logic programming (context) - Greco - 1999
1   the computation cost of disjunctive logic programming: Propo.. (context) - Eiter, Gottlob - 1995
1   Department of Arti cial Intelligence (context) - Hill, its et al. - 1974
1   Negation in logic prog (context) - Shepherdson - 1988
1   Clausal deductive databases and a general framework for sema.. - Seipel - 2000
1   Aggregation in disjunctive deductive databases - Seipel - 1999
1   Horn magic sets to incorporate top{down inference into botto.. (context) - Hasegawa, Inoue et al. - 1997
1   Journal of Arti cial Intelligence (context) - McCarthy, of et al. - 1980
1   Annual Reviews of Comp (context) - Reiter - 1987
1   Journal of Arti cial Intelligence (context) - McDermott, Doyle - 1980
1   Przymusinski: Super logic programs (context) - Brass, Dix - 1996
1   Jack Minker and Dietmar Seipel (context) - Chandra, Harel et al. - 1985
1   An ecient computation of the extended generalized closed wor.. (context) - Seipel - 1994
1   Complexity and undecideability results for logic programming (context) - Schlipf - 1995
1   You: Unfolding partiality and disjunctions in stable model s.. (context) - Janhunen, Niemel et al. - 2000
1   founded semantics for general logic programs (context) - Van Gelder, Ross et al. - 1991
1   Generalized closed world assumption is  2 complete - Chomicki, Subrahmanian - 1990

Documents on the same site (http://www-info1.informatik.uni-wuerzburg.de/database/papers_seipel.html):   More
A Characterization Of The Partial Stable Models For.. - Seipel, Minker, Ruiz (1997)   (Correct)
Non-Monotonic Reasoning Based on Minimal Models and its Efficient .. - Seipel (1994)   (Correct)
Model Generation and State Generation for Disjunctive Logic .. - Seipel, Minker, Ruiz (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