DATALOG with Nested Rules
暂无分享,去创建一个
[1] Chitta Baral,et al. Logic Programming and Knowledge Representation , 1994, J. Log. Program..
[2] Francesco Scarcello,et al. Declarative and Fixpoint Characterizations of Disjunctive Stable Models , 1995, ILPS.
[3] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[4] Domenico Saccà,et al. The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries , 1997, J. Comput. Syst. Sci..
[5] Jürgen Dix,et al. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation , 1997, J. Log. Program..
[6] John S. Schlipf,et al. The expressive powers of the logic programming semantics (extended abstract) , 1990, PODS.
[7] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.
[8] Teodor C. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..
[9] Jürgen Dix,et al. Characterizations of the Stable Semantics by Partial Evaluation , 1994, LPNMR.
[10] Francesco Scarcello,et al. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..
[11] Ronald Fagin. Generalized first-order spectra, and polynomial. time recognizable sets , 1974 .
[12] Georg Gottlob,et al. Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..
[13] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[14] Marco Schaerf,et al. A Survey of Complexity Results for Nonmonotonic Logics , 1993, J. Log. Program..
[15] Georg Gottlob,et al. Adding disjunction to datalog (extended abstract) , 1994, PODS.
[16] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[17] Larry J. Stockmeyer,et al. The Polynomial-Time Hierarchy , 1976, Theor. Comput. Sci..
[18] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[19] José Júlio Alferes,et al. Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.
[20] David Harel,et al. Structure and Complexity of Relational Queries , 1980, FOCS.
[21] Gerd Wagner,et al. Stable Models Are Generated by a Stabel Chain , 1997, J. Log. Program..
[22] Sergio Greco,et al. Binding Propagation in Disjunctive Databases , 1998, VLDB.
[23] Moshe Y. Vardi. The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.
[24] Tran Cao Son,et al. Reasoning with Prioritized Defaults , 1997, LPKR.