Only-Knowing: Taking It Beyond Autoepistemic Reasoning
暂无分享,去创建一个
[1] Riccardo Rosati,et al. Reasoning about Minimal Belief and Negation as Failure , 1999, J. Artif. Intell. Res..
[2] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[3] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[4] Victor W. Marek,et al. Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..
[5] Vladimir Lifschitz. Minimal Belief and Negation as Failure , 1994, Artif. Intell..
[6] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[7] Arild Waaler,et al. Consistency Proofs for Systems of Multi?agent Only Knowing , 2004, Advances in Modal Logic.
[8] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[9] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[10] Fiora Pirri,et al. Definability and Commonsense Reasoning , 1997, Artif. Intell..
[11] Fangzhen Lin,et al. Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.
[12] Vladimir Lifschitz,et al. On Open Defaults , 1990 .
[13] Michael Kaminski. Embedding a default system into nonmonotonic logics , 1991, Fundam. Informaticae.
[14] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..