Reasoning about temporal properties of rational play
暂无分享,去创建一个
[1] Michael Bacharach,et al. A theory of rational decision in games , 1987 .
[2] Geert Jonker,et al. On Epistemic Temporal Strategic Logic , 2005, LCMAS.
[3] Robert Stalnaker. On the evaluation of solution concepts , 1994 .
[4] Wojciech Jamroga,et al. Comparing Semantics of Logics for Multi-Agent Systems , 2004, Synthese.
[5] Gerhard Weiss,et al. Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .
[6] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .
[7] Michael Wooldridge,et al. Knowledge as Strategic Ability , 2004, LCMAS.
[8] Joseph Y. Halpern,et al. A Knowledge-Based Framework for Belief change, Part I: Foundations , 1994, TARK.
[9] Olivier Roy,et al. Verification of voting protocols , 2005 .
[10] Wojciech Jamroga,et al. A Logic for Reasoning about Rational Agents : Yet Another Attempt , 2007 .
[11] 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..
[12] Wojciech Jamroga,et al. A logic for strategic reasoning , 2005, AAMAS '05.
[13] Wojciech Jamroga,et al. A Logic for Reasoning about Rational Agents , 2008, CLIMA.
[14] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[15] Moshe Tennenholtz,et al. On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report) , 1992, AAAI.
[16] Eitan Zemel,et al. Nash and correlated equilibria: Some complexity considerations , 1989 .
[17] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[18] Michael Wooldridge,et al. Tractable multiagent planning for epistemic goals , 2002, AAMAS '02.
[19] Christos H. Papadimitriou,et al. Computational complexity , 1993 .
[20] Guido Governatori,et al. A computationally grounded logic of knowledge, belief and certainty , 2005, AAMAS '05.
[21] Wojciech Jamroga,et al. Alternating-time temporal logics with irrevocable strategies , 2007, TARK '07.
[22] Moshe Tennenholtz,et al. Artificial Social Systems , 1992, Lecture Notes in Computer Science.
[23] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[24] Alexandru Baltag,et al. A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games , 2000 .
[25] Pierre-Yves Schobbens,et al. Alternating-time logic with imperfect recall , 2004, LCMAS.
[26] Giacomo Bonanno,et al. The Logic of Rational Play in Games of Perfect Information , 1991, Economics and Philosophy.
[27] Jürgen Dix,et al. Model Checking Abilities of Agents: A Closer Look , 2008, Theory of Computing Systems.
[28] Tuomas Sandholm,et al. Distributed rational decision making , 1999 .
[29] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[30] Andreas Herzig,et al. Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.
[31] Wojciech Jamroga,et al. Agents that Know How to Play , 2004, Fundam. Informaticae.
[32] Philippe Schnoebelen,et al. Model Checking CTL+ and FCTL is Hard , 2001, FoSSaCS.
[33] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[34] Wojciech Jamroga,et al. A framework for reasoning about rational agents , 2007, AAMAS '07.
[35] Robert Stalnaker. Knowledge, Belief and Counterfactual Reasoning in Games , 1996, Economics and Philosophy.
[36] Joseph Y. Halpern,et al. On the NP-completeness of finding an optimal strategy in games with common payoffs , 2001, Int. J. Game Theory.
[37] Nicolas Markey,et al. ATL with Strategy Contexts and Bounded Memory , 2009, LFCS.
[38] M. Rehm,et al. Proceedings of AAMAS , 2005 .
[39] Vincent Conitzer,et al. Complexity Results about Nash Equilibria , 2002, IJCAI.
[40] Cees Witteveen,et al. A Modal Characterization of Nash Equilibrium , 2003, Fundam. Informaticae.
[41] Wojciech Jamroga,et al. Agents, beliefs, and plausible behavior in a temporal setting , 2007, AAMAS '07.
[42] A. Mas-Colell,et al. Microeconomic Theory , 1995 .
[43] Michael Wooldridge,et al. Social laws in alternating time: effectiveness, feasibility, and synthesis , 2006, Synthese.
[44] D. Koller,et al. The complexity of two-person zero-sum games in extensive form , 1992 .
[45] Wojciech Jamroga,et al. What agents can achieve under incomplete information , 2006, AAMAS '06.
[46] Wojciech Jamroga,et al. Intentions and Strategies in Game-Like Scenarios , 2005, EPIA.
[47] Jürgen Dix,et al. Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete , 2006, EUMAS.
[48] Johan van Benthem,et al. Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.