Aggregation and negation-as-failure
暂无分享,去创建一个
[1] Serge Abiteboul,et al. A rule-based language with functions and sets , 1991, TODS.
[2] Jürgen Dix,et al. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation , 1995, ICLP.
[3] Jürgen Dix,et al. Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated Gcwa , 1997 .
[4] Catriel Beeri,et al. Sets and negation in a logic data base language (LDL1) , 1987, PODS.
[5] Allen Van Gelder,et al. The well-founded semantics of aggregation , 1992, PODS.
[6] Jürgen Dix,et al. A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties , 1995, Fundam. Informaticae.
[7] Chandrabose Aravindan,et al. Partial Deduction of Logic Programs wrt Well-Founded Semantics , 1992, ALP.
[8] Sergio Greco,et al. Minimum and maximum predicates in logic programming , 1991, PODS '91.
[9] Kenneth Kunen,et al. Some Remarks on the Completed Database , 1990, ICLP/SLP.
[10] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[11] Teodor C. Przymusinski,et al. Semantic Issues in Deductive Databases and Logic Programs , 1990 .
[12] Peter J. Stuckey,et al. Semantics of Logic Programs with Aggregates , 1991, ISLP.
[13] Alexandre Lefebvre. Towards an efficient evaluation of recursive aggregates in deductive databases , 2009, New Generation Computing.
[14] Mauricio Osorio,et al. Partial Order Programming (Revisited) , 1995, AMAST.
[15] Jürgen Dix,et al. A Framework for Representing and Characterizing Semantics of Logic Programs , 1992, KR.
[16] Mengchi Liu,et al. Relationlog: A Typed Extension to Datalog with Sets and Tuples , 1998, J. Log. Program..
[17] Kenneth A. Ross,et al. Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..
[18] Teodor C. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..
[19] Nikolay Pelov,et al. Semantics of logic programs with aggregates , 2004 .
[20] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[21] Bharat Jayaraman,et al. Set Constructors, Finite Sets, and Logical Semantics , 1999, J. Log. Program..
[22] Carlo Zaniolo,et al. Stable models and non-determinism in logic programs with negation , 1990, PODS.
[23] John S. Schlipf. Formalizing a logic for logic programming , 2005, Annals of Mathematics and Artificial Intelligence.
[24] Jürgen Dix,et al. A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties , 1995, Fundam. Informaticae.
[25] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[26] Divesh Srivastava,et al. Extending the Well-Founded and Valid Semantics for Aggregation , 1993, ILPS.
[27] Kyonghee Moon. Implementation of subset logic languages , 1997 .
[28] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.