Only-Knowing Meets Nonmonotonic Modal Logic
暂无分享,去创建一个
[1] J. Horty. Nonmonotonic Logic , 2001 .
[2] Fangzhen Lin,et al. Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.
[3] Victor W. Marek,et al. Relating Autoepistemic and Default Logics , 1989, KR.
[4] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..
[5] D. McDermott,et al. An introduction to nonmonotonic logic , 1979, IJCAI 1979.
[6] Miroslaw Truszczynski,et al. Modal Logic S4F and The Minimal Knowledge Paradigm , 1992, TARK.
[7] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..
[8] Victor W. Marek,et al. Modal nonmonotonic logics: ranges, characterization, computation , 1991, JACM.
[9] Grigori F. Shvarts. Autoepistemic Modal Logics , 1990, TARK.
[10] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[11] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[12] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[13] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[14] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[15] Miroslaw Truszczynski,et al. Modal nonmonotonic logics , 1993 .
[16] Gerhard Lakemeyer,et al. Only-Knowing: Taking It Beyond Autoepistemic Reasoning , 2005, AAAI.
[17] Vladimir Lifschitz. Minimal Belief and Negation as Failure , 1994, Artif. Intell..
[18] Robert Stalnaker,et al. A Note on Non-Monotonic Modal Logic , 1993, Artif. Intell..
[19] Gerhard Lakemeyer,et al. Towards an Axiom System for Default Logic , 2006, AAAI.