Multiagent Only Knowing in Dynamic Systems
暂无分享,去创建一个
[1] Robert Demolombe,et al. Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.
[2] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[3] Giuseppe De Giacomo,et al. Situation Calculus Based Programs for Representing and Reasoning about Game Structures , 2010, KR.
[4] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[5] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[6] Christian Fritz,et al. Monitoring the Generation and Execution of Optimal Plans , 2009 .
[7] Adrian R. Pearce,et al. Complex Epistemic Modalities in the Situation Calculus , 2008, KR.
[8] Arild Waaler,et al. Semantics for multi-agent only knowing: extended abstract , 2005, TARK.
[9] Gerhard Lakemeyer,et al. A Semantical Account of Progression in the Presence of Uncertainty , 2011, AAAI.
[10] Michael Wooldridge,et al. Introduction to multiagent systems , 2001 .
[11] Andreas Herzig,et al. Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.
[12] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[13] Joseph Y. Halpern. Reasoning about only Knowing with Many Agents , 1993, AAAI.
[14] Gerhard Lakemeyer,et al. Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..
[15] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[16] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[17] Andreas Herzig,et al. Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.
[18] Gerhard Lakemeyer,et al. Only Knowing in the Situation Calculus , 1996, KR.
[19] Mamoru Kaneko,et al. Epistemic models of shallow depths and decision making in games: Horticulture , 2003, Journal of Symbolic Logic.
[20] Hector J. Levesque,et al. The cognitive agents specification language and verification environment for multiagent systems , 2002, AAMAS '02.
[21] Gerhard Lakemeyer,et al. Multi-agent Only-Knowing , 1996, CLIMA.
[22] Wiebe van der Hoek,et al. A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples , 2002, Stud Logica.
[23] Antonis C. Kakas,et al. Fred meets Tweety , 2008, ECAI.
[24] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[25] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[26] Ian Pratt-Hartmann,et al. Total Knowledge , 2000, AAAI/IAAI.
[27] Gerhard Lakemeyer,et al. Efficient Reasoning in Multiagent Epistemic Logics , 2012, ECAI.
[28] Riccardo Rosati,et al. On the decidability and complexity of reasoning about only knowing , 2000, Artif. Intell..
[29] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[30] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[31] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[32] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[33] Ronald Fagin,et al. A model-theoretic analysis of knowledge , 1991, JACM.
[34] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[35] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[36] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[37] Gerhard Lakemeyer,et al. Reasoning about Imperfect Information Games in the Epistemic Situation Calculus , 2010, AAAI.
[38] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..
[39] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[40] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[41] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[42] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.
[43] Hans van Ditmarsch,et al. Descriptions of Game Actions , 2002, J. Log. Lang. Inf..
[44] Vaishak Belle,et al. Multi-Agent Only-Knowing Revisited , 2010, AlgoSyn.
[45] David Kaplan. Quantifying in , 2004, Synthese.
[46] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[47] Joseph Y. Halpern,et al. A logical characterization of iterated admissibility , 2009, TARK '09.
[48] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[49] Gerhard Lakemeyer. All They Know: A Study in Multi-Agent Autoepistemic Reasoning , 1993, IJCAI.