Default Theories Over Monadic Languages: (Extended Abstract)
暂无分享,去创建一个
[1] John Lloyd,et al. Foundation of logic programming , 1983 .
[2] Michael Kaminski. A Comparative Study of Open Default Theories , 1995, Artif. Intell..
[3] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[4] Johann A. Makowsky,et al. Extensions for Open Default Theories via the Domain Closure Assumption , 1996, JELIA.
[5] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[6] Vladimir Lifschitz,et al. On Open Defaults , 1990 .
[7] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[8] Michael Kaminski,et al. A Note on the Stable Model Semantics for Logic Programs. (Research Note) , 1997, Artif. Intell..
[9] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[10] Michael Kaminski. Open Default Theories over Closed Domains , 1999, ESCQARU.
[11] Nissim Francez,et al. Similarity preservation in default logic , 2004, Annals of Mathematics and Artificial Intelligence.