Semantical considerations on multiagent only knowing
暂无分享,去创建一个
[1] Vaishak Belle,et al. Multi-Agent Only-Knowing Revisited , 2010, AlgoSyn.
[2] Michael Wooldridge,et al. Logics for Multiagent Systems , 2012, AI Mag..
[3] Nicola Olivetti,et al. Sequent calculi for propositional nonmonotonic logics , 2002, TOCL.
[4] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[5] Wolfgang Lenzen,et al. Recent work in epistemic logic , 1978 .
[6] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[7] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[8] Mamoru Kaneko,et al. Epistemic models of shallow depths and decision making in games: Horticulture , 2003, Journal of Symbolic Logic.
[9] Vaishak Belle,et al. On the projection problem in active knowledge bases with incomplete information , 2014, SIGAI.
[10] Gerhard Lakemeyer,et al. Reasoning about Imperfect Information Games in the Epistemic Situation Calculus , 2010, AAAI.
[11] Olaf Beyersdorff. The Complexity of Theorem Proving in Autoepistemic Logic , 2013, SAT.
[12] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[13] Ronald Fagin,et al. A model-theoretic analysis of knowledge , 1991, JACM.
[14] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[15] Arild Waaler,et al. Consistency Proofs for Systems of Multi?agent Only Knowing , 2004, Advances in Modal Logic.
[16] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[17] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[18] Gerhard Lakemeyer. All They Know: A Study in Multi-Agent Autoepistemic Reasoning , 1993, IJCAI.
[19] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[20] Wiebe van der Hoek,et al. A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples , 2002, Stud Logica.
[21] Leora Morgenstern,et al. A Formal Theory of Multiple Agent Nonmonotonic Reasoning , 1990, AAAI.
[22] Gerhard Lakemeyer,et al. Only-Knowing Meets Nonmonotonic Modal Logic , 2012, KR.
[23] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[24] P. T. Geach,et al. KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .
[25] Ian Pratt-Hartmann,et al. Total Knowledge , 2000, AAAI/IAAI.
[26] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[27] Ramiro Guerreiro,et al. Epistemic Logics for Multiple Agent NonmonotonicReasoning , 1991 .
[28] Gerhard Lakemeyer,et al. Only-Knowing: Taking It Beyond Autoepistemic Reasoning , 2005, AAAI.
[29] Joseph Y. Halpern,et al. A logical characterization of iterated admissibility , 2009, TARK '09.
[30] Douglas E. Appelt,et al. A Practical Nonmonotonic Theory for Reasoning about Speech Acts , 1988, ACL.
[31] Arild Waaler,et al. Semantics for multi-agent only knowing: extended abstract , 2005, TARK.
[32] Gerhard Lakemeyer,et al. A Semantical Account of Progression in the Presence of Uncertainty , 2011, AAAI.
[33] Gerhard Lakemeyer,et al. Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..
[34] Joseph Y. Halpern. Reasoning about only Knowing with Many Agents , 1993, AAAI.
[35] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[36] C. Raymond Perrault. An application of default logic to speech act theory , 1987 .
[37] Gerhard Lakemeyer,et al. Foundations for Knowledge-Based Programs using ES , 2006, KR.
[38] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[39] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.
[40] Riccardo Rosati,et al. On the decidability and complexity of reasoning about only knowing , 2000, Artif. Intell..
[41] Gerhard Lakemeyer,et al. Towards an Axiom System for Default Logic , 2006, AAAI.
[42] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[43] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[44] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[45] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[46] Arild Waaler,et al. Only knowing with degrees of confidence , 2007, J. Appl. Log..