The Stable Models of a Predicate Logic Program
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[3] Victor W. Marek,et al. How Complicated is the Set of Stable Models of a Recursive Logic Program? , 1992, Ann. Pure Appl. Log..
[4] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[5] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[6] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[7] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[8] Victor W. Marek,et al. The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning , 1989, ICLP.
[9] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.
[10] Jeffrey B. Remmel,et al. Π01-classes and Rado's selection principle , 1991, Journal of Symbolic Logic.
[11] John S. Schlipf,et al. The Expressive Powers of the Logic Programming Semantics , 1995, J. Comput. Syst. Sci..
[12] M Gelfond,et al. On the relationship between autoepistemic logic and parallel circumscription , 1986, ISMIS '86.
[13] Robert I. Soare,et al. Degrees of members of Π10 classes , 1972 .
[14] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.
[15] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .
[16] Phan Minh Dung,et al. A Fixpoint Approach to Declarative Semantics of Logic Programs , 1989, NACLP.
[17] R. Goodstein. FIRST-ORDER LOGIC , 1969 .
[18] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[19] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[20] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..
[21] John C. Shepherdson. Unsolvable Problems for SLDNF Resolution , 1991, J. Log. Program..
[22] Victor W. Marek,et al. A theory of nonmonotonic rule systems I , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[23] Hajnal Andréka,et al. The generalized completeness of Horn predicate-logic as a programming language , 1978, Acta Cybern..
[24] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[25] J. Dekleer. An assumption-based TMS , 1986 .
[26] Anil Nerode,et al. Implementing deductive databases by linear programming , 1992, PODS.
[27] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[28] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[29] Vladimir Lifschitz,et al. Pointwise circumscription , 1987 .
[30] Jeffrey B. Remmel,et al. Pi01-Classes and Rado's Selection Principle , 1991, J. Symb. Log..