Revisiting quantification in autoepistemic logic
暂无分享,去创建一个
[1] Victor W. Marek,et al. Relating Autoepistemic and Default Logics , 1989, KR.
[2] Max J. Cresswell,et al. A companion to modal logic , 1984 .
[3] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.
[4] Tomi Janhunen. Representing Autoepistemic Introspection in Terms of Default Rules , 1996, ECAI.
[5] J. Horty. Nonmonotonic Logic , 2001 .
[6] Michael Kaminski,et al. A Note on the Stable Model Semantics for Logic Programs. (Research Note) , 1997, Artif. Intell..
[7] Gerhard Lakemeyer. On perfect introspection with Quantifying-in , 1992, Fundam. Informaticae.
[8] Michael Kaminski,et al. First-order Non-monotonic Modal Logics , 2000, Fundam. Informaticae.
[9] Ilkka Niemelä. Autoepistemic Predicate Logic , 1988, ECAI.
[10] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[11] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[12] Grigori F. Shvarts. Autoepistemic Modal Logics , 1990, TARK.
[13] Tomi Janhunen. On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription , 1998, JELIA.
[14] Kurt Konolige,et al. Quantification in autoepistemic logic , 1991, Fundam. Informaticae.
[15] Vladimir Lifschitz,et al. On Open Defaults , 1990 .
[16] Johann A. Makowsky,et al. Extensions for Open Default Theories via the Domain Closure Assumption , 1996, J. Log. Comput..
[17] Victor W. Marek,et al. Autoepistemic logic , 1991, JACM.
[18] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..
[19] Tomi Janhunen. On the intertranslatability of non‐monotonic logics , 2004, Annals of Mathematics and Artificial Intelligence.
[20] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.
[21] Michael Kaminski,et al. The elimination of de re formulas , 1997, J. Philos. Log..
[22] Michael Kaminski. A Comparative Study of Open Default Theories , 1995, Artif. Intell..
[23] Michael Kaminski. Open Default Theories over Closed Domains , 1999, ESCQARU.
[24] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[25] Georg Gottlob,et al. Translating default logic into standard autoepistemic logic , 1995, JACM.
[26] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[27] Kurt Konolige,et al. Autoepistemic logic , 1994 .
[28] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .
[29] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[30] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[31] Hans Hermes,et al. Introduction to mathematical logic , 1973, Universitext.
[32] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[33] V. Wiktor Marek,et al. Nonmonotonic Logic , 1993, Artificial Intelligence.
[34] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.