Models of Strategic Reasoning
暂无分享,去创建一个
Takeo Kanade | Jon M. Kleinberg | John C. Mitchell | John C. Mitchell | Israel Bernhard Steffen | T. Kanade | J. Kleinberg
[1] Wojciech Jamroga,et al. State and path coalition effectivity models for logics of multi-player games , 2012, AAMAS.
[2] Andreas Herzig,et al. Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..
[3] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[4] Michael Wooldridge,et al. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.
[5] Johan van Benthem,et al. Logic in Games , 2014 .
[6] Nils Bulling,et al. Modelling and verifying abilities of rational agents , 2010 .
[7] Fabio Mogavero. Reasoning About Strategies , 2013, FSTTCS 2013.
[8] Thomas Ågotnes,et al. A Logic of Strategic Ability Under Bounded Memory , 2009, J. Log. Lang. Inf..
[9] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[10] G. Bonanno. Modal logic and game theory: two alternative approaches , 2002 .
[11] J. Dix,et al. Model Checking Logics of Strategic Ability: Complexity* , 2010 .
[12] Wojciech Jamroga,et al. Alternating-time temporal logics with irrevocable strategies , 2007, TARK '07.
[13] Valentin Goranko,et al. Tableau-based decision procedures for logics of strategic ability in multiagent systems , 2008, TOCL.
[14] Thomas Ågotnes,et al. Action and Knowledge in Alternating-Time Temporal Logic , 2006, Synthese.
[15] Johan van Benthem,et al. Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.
[16] Marc Pauly,et al. Logic for social software , 2000 .
[17] Michael Wooldridge,et al. Preferences in game logics , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[18] Wojciech Jamroga,et al. A logic for strategic reasoning , 2005, AAMAS '05.
[19] Jürgen Dix,et al. Reasoning about temporal properties of rational play , 2008, Annals of Mathematics and Artificial Intelligence.
[20] Mark A. Brown. On the logic of ability , 1988, J. Philos. Log..
[21] Michael Wooldridge,et al. Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.
[22] Jonathan A. Zvesper,et al. Keep ‘hoping’ for rationality: a solution to the backward induction paradox , 2009, Synthese.
[23] Andreas Herzig,et al. ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.
[24] Krishnendu Chatterjee,et al. Strategy logic , 2007, Inf. Comput..
[25] Wojciech Jamroga,et al. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games , 2014, Autonomous Agents and Multi-Agent Systems.
[26] W. Hoek,et al. Epistemic logic: a survey , 2002 .
[27] W. Jamroga,et al. Constructive Knowledge: What Agents Can Achieve under Incomplete Information , 2005 .
[28] Nina Gierasimczuk,et al. Belief revision as a truth-tracking process , 2011, TARK XIII.
[29] Eric Pacuit,et al. Dynamic Models of Rational Deliberation in Games , 2015, Models of Strategic Reasoning.
[30] Brian F. Chellas. On bringing it about , 1995, J. Philos. Log..
[31] Olivier Roy,et al. Verification of voting protocols , 2005 .
[32] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[33] Alexandru Baltag,et al. Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades , 2009, TARK '09.
[34] Sophie Pinchinat. A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies , 2007, ATVA.
[35] Jonathan A. Zvesper,et al. Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets , 2007, ArXiv.
[36] Nuel D. Belnap,et al. Seeing To it That: A Canonical Form for Agentives , 2008 .
[37] Wojciech Jamroga,et al. ATL* With Truly Perfect Recall: Expressivity and Validities , 2014, ECAI.
[38] Alexandru Baltag,et al. A qualitative theory of dynamic interactive belief revision , 2008 .
[39] Johan van Benthem,et al. Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.
[40] R. Aumann. On the Centipede Game , 1998 .
[41] Joseph Y. Halpern,et al. Reasoning about knowledge: a survey , 1995 .
[42] Soumya Paul,et al. Automata and Compositional Strategies in Extensive Form Games , 2015, Models of Strategic Reasoning.
[43] Wojciech Jamroga,et al. Strategic commitment and release in logics for multi-agent systems , 2008 .
[44] R. Aumann. Correlated Equilibrium as an Expression of Bayesian Rationality Author ( s ) , 1987 .
[45] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .
[46] Sven Schewe. ATL* Satisfiability Is 2EXPTIME-Complete , 2008, ICALP.
[47] Valentin Goranko,et al. Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..
[48] Wojciech Jamroga,et al. Verifying agents with memory is harder than it seemed , 2010, AI Commun..
[49] Andrés Perea,et al. Finite Reasoning Procedures for Dynamic Games , 2015, Models of Strategic Reasoning.
[50] Johan van Benthem,et al. Logic of Strategies: What and How? , 2015, Models of Strategic Reasoning.
[51] Cees Witteveen,et al. A Modal Characterization of Nash Equilibrium , 2003, Fundam. Informaticae.
[52] Pierpaolo Battigalli,et al. Strong Belief and Forward Induction Reasoning , 2002, J. Econ. Theory.
[53] M. Pauly. A Logical Framework for Coalitional Effectivity in Dynamic Procedures , 2001 .
[54] Sergiu Hart,et al. Games in extensive and strategic forms , 1992 .
[55] Andreas Herzig,et al. Using STIT Theory to Talk About Strategies , 2015, Models of Strategic Reasoning.
[56] Marc Pauly,et al. A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..
[57] Johan van Benthem,et al. Game Solution, Epistemic Dynamics and Fixed-Point Logics , 2010, Fundam. Informaticae.
[58] Wojciech Jamroga,et al. Intentions and Strategies in Game-Like Scenarios , 2005, EPIA.
[59] Geir B. Asheim,et al. Admissibility and common belief , 2003, Games Econ. Behav..
[60] Aniello Murano,et al. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic , 2012, CONCUR.
[61] Wojciech Jamroga,et al. Rational play and rational beliefs under uncertainty , 2009, AAMAS.
[62] Ferucio Laurentiu Tiplea,et al. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable , 2011, ArXiv.
[63] R. Aumann. Backward induction and common knowledge of rationality , 1995 .
[64] Tuomas Sandholm,et al. Distributed rational decision making , 1999 .
[65] H. Keiding,et al. Effectivity functions in social choice , 1991 .
[66] R. Parikh. The logic of games and its applications , 1985 .
[67] Wojciech Jamroga,et al. Agents that Know How to Play , 2004, Fundam. Informaticae.
[68] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[69] Wojciech Jamroga,et al. Strategic games and truly playable effectivity functions , 2013, Autonomous Agents and Multi-Agent Systems.
[70] Guillaume Aucher,et al. Dynamic epistemic logic in update logic , 2016, J. Log. Comput..
[71] Jan M. Broersen,et al. CTL.STIT: enhancing ATL to express important multi-agent system verification properties , 2010, AAMAS.
[72] Raluca Diaconu,et al. MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE , 2012, Appl. Artif. Intell..
[73] Geert Jonker,et al. On Epistemic Temporal Strategic Logic , 2005, LCMAS.
[74] Wojciech Jamroga,et al. Comparing Semantics of Logics for Multi-Agent Systems , 2004, Synthese.
[75] Dirk Walther,et al. On Satisfiability in ATL with Strategy Contexts , 2012, JELIA.
[76] Constantin Enea,et al. An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking , 2011, J. Appl. Non Class. Logics.
[77] V. Goranko. Coalition games and alternating temporal logics , 2001 .
[78] G. van Drimmelen. Satisfiability in alternating-time temporal logic , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[79] H. Moulin,et al. Cores of effectivity functions and implementation theory , 1982 .
[80] R. Aumann. Agreeing to disagree. , 1976, Nature cell biology.
[81] Michael Wooldridge,et al. ATL Satisfiability is Indeed EXPTIME-complete , 2006, J. Log. Comput..
[82] Pierre-Yves Schobbens,et al. Alternating-time logic with imperfect recall , 2004, LCMAS.
[83] Giacomo Bonanno,et al. Reasoning About Strategies and Rational Play in Dynamic Games , 2015, Models of Strategic Reasoning.
[84] Aniello Murano,et al. Relentful strategic reasoning in alternating-time temporal logic , 2010, J. Log. Comput..
[85] Nicolas Markey,et al. ATL with Strategy Contexts and Bounded Memory , 2009, LFCS.
[86] Jan van Eijck,et al. Strategies in Social Software , 2015, Models of Strategic Reasoning.
[87] J. McKenzie Alexander. Local interactions and the dynamics of rational deliberation , 2009 .
[88] R. Aumann,et al. Epistemic Conditions for Nash Equilibrium , 1995 .