The Truth about Defaults
暂无分享,去创建一个
[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[3] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[4] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[5] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[6] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[7] Kurt Konolige,et al. On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..
[8] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[9] Vladimir Lifschitz. Minimal Belief and Negation as Failure , 1994, Artif. Intell..
[10] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[11] Bart Selman,et al. Satisfiability Solvers , 2008, Handbook of Knowledge Representation.
[12] Victor W. Marek,et al. Uniform semantic treatment of default and autoepistemic logics , 2000, Artif. Intell..
[13] Gerhard Lakemeyer,et al. Only-Knowing: Taking It Beyond Autoepistemic Reasoning , 2005, AAAI.
[14] Gerhard Lakemeyer,et al. Towards an Axiom System for Default Logic , 2006, AAAI.
[15] V. Marek,et al. Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too , 2011, ArXiv.
[16] Fangzhen Lin,et al. Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.
[17] Gerhard Lakemeyer,et al. Only-Knowing Meets Nonmonotonic Modal Logic , 2012, KR.
[18] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[19] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .