Soundness and Completeness of a Logic Programming Approach to Default Logic
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Victor W. Marek,et al. Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.
[3] Grigoris Antoniou,et al. Computing Extensions of Nonmonotonic Logics , 1993, Scandinavian Conference on AI.
[4] Christine Froidevaux,et al. Taxonomic Default Theory , 1986, ECAI.
[5] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[6] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[7] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[8] Christine Froidevaux,et al. General Logical Databases and Programs: Default Logic Semantics and Stratification , 1991, Inf. Comput..
[9] John W. Lloyd,et al. Foundations of Logic Programming, 1st Edition , 1984 .
[10] Grigoris Antoniou,et al. A Process Model for Default Logic and Its Realization in Logic Programming , 1993, EPIA.
[11] Christine Froidevaux,et al. Negation by Default and Unstratifiable Logic Programs , 1991, Theor. Comput. Sci..
[12] Grigoris Antoniou,et al. Logic - a foundation for computer science , 1991, International Computer Science Series.
[13] Victor W. Marek,et al. The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs , 1992, Theor. Comput. Sci..