Multi-agent Only-Knowing
暂无分享,去创建一个
[1] Gerhard Lakemeyer,et al. Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..
[2] Joseph Y. Halpern. Reasoning about only Knowing with Many Agents , 1993, AAAI.
[3] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[4] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[5] Joseph Y. Halpern. A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..
[6] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[7] Gerhard Lakemeyer. All They Know: A Study in Multi-Agent Autoepistemic Reasoning , 1993, IJCAI.
[8] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[9] Gerhard Lakemeyer. All They Know About , 1993, AAAI.
[10] B. Nebel. Introduction to Modal Logic Introduction , 2009 .
[11] Ronald Fagin,et al. What can machines know?: On the properties of knowledge in distributed systems , 1992, JACM.
[12] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[13] Ronald Fagin,et al. The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge , 1992, TARK.
[14] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[15] Y HalpernJoseph,et al. What can machines know , 1992 .
[16] Shai Ben Da. vid Yael GafI. All We Believe Fails in Impossible Worlds , 2007 .
[17] Richard Spencer-Smith,et al. Modal Logic , 2007 .