Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

Ågotnes, T. (2004). A note on syntactic characterization of incomplete information in ATEL. In Proceedings of the workshop on knowledge and games, Liverpool (pp. 34–42).

Ågotnes, T. (2006). Action and knowledge in alternating-time temporal logic. Synthese, 149(2), 377–409.

Ågotnes, T., Goranko, V., & Jamroga, W. (2007). Alternating-time temporal logics with irrevocable strategies. In D. Samet (Ed.), Proceedings of TARK XI (pp. 15–24).

Ågotnes, T., & Walther, D. (2009). A logic of strategic ability under bounded memory. Journal of Logic, Language and Information, 18(1), 55–77.

Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). A logic for coalitions with bounded resources. In Proceedings of IJCAI (pp. 659–664).

Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2010). Resource-bounded alternating-time temporal logic. In Proceedings of AAMAS (pp. 481–488).

Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th annual symposium on foundations of computer science (FOCS) (pp. 100–109). Los Alamitos: IEEE Computer Society Press.

Alur, R., Henzinger, T. A., & Kupferman, O. (1998). Alternating-time temporal logic. Lecture Notes in Computer Science, 1536, 23–60.

Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49, 672–713.

Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. Y. (1998). Alternating refinement relations. In Proceedings of CONCUR, volume 1466 of LNCS (pp. 163–178).

Brihaye, T., Da Costa Lopes, A., Laroussinie, F., & Markey, N. (2009). ATL with strategy contexts and bounded memory. In Proceedings of LFCS, volume 5407 of Lecture notes in computer science (pp. 92–106). New York: Springer.

Bulling, N., & Dix, J. (2010). Modelling and verifying coalitions using argumentation and ATL. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14(46), 45–73.

Bulling, N., Dix, J., & Jamroga, W. (2010). Model checking logics of strategic ability: Complexity. In M. Dastani, K. Hindriks, & J.-J. Meyer (Eds.), Specification and verification of multi-agent systems (pp. 125–159). New York: Springer.

Bulling, N., & Farwer, B. (2009). Expressing properties of resource-bounded systems: The logics RTL* and RTL. In Proceedings of CLIMA (pp. 22–45).

Bulling, N., & Farwer, B. (2010). On the (un-)decidability of model checking resource-bounded agents. In Proceedings of ECAI, volume 215 of Frontiers in artificial intelligence and applications (pp. 567–572). Amsterdam: IOS Press.

Bulling, N., & Jamroga, W. (2009). What agents can probably enforce. Fundamenta Informaticae, 93(1–3), 81–96.

Bulling, N., & Jamroga, W. (2010). Verifying agents with memory is harder than it seemed. AI Communications, 23, 380–403.

Bulling, N., & Jamroga, W. (2011). Alternating epistemic mu-calculus. In Proceedings of IJCAI-11 (pp. 109–114).

Bulling, N., Jamroga, W., & Dix, J. (2008). Reasoning about temporal properties of rational play. Annals of Mathematics and Artificial Intelligence, 53(1–4), 51–114.

Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Strategy logic. In Proceedings of CONCUR (pp. 59–73).

Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of logics of programs workshop, volume 131 of Lecture notes in computer science (pp. 52–71).

Davis, E. (1994). Knowledge preconditions for plans. Journal of Logic and Computation, 4(5), 721–766.

Dima, C., Enea, C., & Guelev, D. P. (2010). Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions. In Proceedings of GANDALF (pp. 103–117).

Dima, C., & Tiplea, F. L. (2011). Model-checking atl under imperfect information and perfect recall semantics is undecidable. CoRR, abs/1102.4225.

Ghaderi, H., Levesque, H., & Lespérance, Y. (2007). A logical theory of coordination and joint ability. In Proceedings of AAAI’07 (pp. 421–426). Menlo Park, CA: AAAI Press.

Goranko, V. (2001). Coalition games and alternating temporal logics. In J. van Benthem (Ed.), Proceedings of TARK VIII (pp. 259–272). San Francisco: Morgan Kaufmann.

Goranko, V., & Jamroga, W. (2004). Comparing semantics of logics for multi-agent systems. Synthese, 139(2), 241–280.

Goranko, V., Jamroga, W., & Turrini, P. (2011). Strategic games and truly playable effectivity functions. In Proceedings of AAMAS2011 (pp. 727–734).

Goranko, V., Jamroga, W., & Turrini, P. (2013). Strategic games and truly playable effectivity functions. Journal of Autonomous Agents and Multi-Agent systems, 26(2), 288–314.

Goranko, V., & Shkatov, D. (2009). Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Transactions on Computational Logic, 11(1), 1–48.

Goranko, V., & van Drimmelen, G. (2006). Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science, 353(1), 93–117.

Guelev, D. P., Dima, C., & Enea, C. (2011). An alternating-time temporal logic with knowledge, perfect recall and past: Axiomatisation and model-checking. Journal of Applied Non-Classical Logics, 21(1), 93–131.

Harding, A., Ryan, M., & Schobbens, P.-Y. (2002). Approximating ATL* in ATL. In VMCAI ’02: Revised papers from the third international workshop on verification, model checking, and abstract interpretation (pp. 289–301). New York: Springer.

Hawke, P. (2010). Coordination, almost perfect information and strategic ability. In Proceedings of LAMAS.

Jamroga, W. (2003). Some remarks on alternating temporal epistemic logic. In B. Dunin-Keplicz & R. Verbrugge (Eds.), Proceedings of formal approaches to multi-agent systems (FAMAS 2003) (pp. 133–140).

Jamroga, W. (2006). On the relationship between playing rationally and knowing how to play: A logical account. In C. Freksa, M. Kohlhase, & K. Schill (Eds.), Proceedings of KI 2006, volume 4314 of Lecture notes in artificial intelligence (pp. 419–433). New York: Springer.

Jamroga, W. (2008). A temporal logic for stochastic multi-agent systems. In Proceedings of PRIMA’08, volume 5357 of LNCS (pp. 239–250).

Jamroga, W., & Ågotnes, T. (2006). Modular interpreted systems: A preliminary report. Technical report IfI-06-15, Clausthal University of Technology.

Jamroga, W., & Ågotnes, T. (2007). Constructive knowledge: What agents can achieve under incomplete information. Journal of Applied Non-Classical Logics, 17(4), 423–475.

Jamroga, W., & Bulling, N. (2010). Comparing variants of strategic ability. In Proceedings of EUMAS2010.

Jamroga, W., & Bulling, N. (2011). Comparing variants of strategic ability. In Proceedings of IJCAI-11 (pp. 252–257).

Jamroga, W., & Dix, J. (2008). Model checking abilities of agents: A closer look. Theory of Computing Systems, 42(3), 366–410.

Jamroga, W., & van der Hoek, W. (2004). Agents that know how to play. Fundamenta Informaticae, 63(2–3), 185–219.

Jamroga, W., van der Hoek, W., & Wooldridge, M. (2005). Intentions and strategies in game-like scenarios. In C. Bento, A. Cardoso, & G. Dias (Eds.), Progress in artificial intelligence: Proceedings of EPIA 2005, volume 3808 of Lecture notes in artificial intelligence (pp. 512–523). New York: Springer.

Jonker, G. (2003). Feasible strategies in alternating-time temporal epistemic logic. Master thesis, University of Utrecht.

Kacprzak, M., & Penczek, W. (2004). Unbounded model checking for alternating-time temporal logic. In Proceedings of AAMAS-04.

Köster, M., & Lohmann, P. (2011). Abstraction for model checking modular interpreted systems over ATL. In Proceedings of AAMAS (pp. 1129–1130).

Laroussinie, F., Markey, N., & Oreiby, G. (2008). On the expressiveness and complexity of ATL. Logical Methods in Computer Science, 4, 7.

Lesperance, Y., Levesque, H. J., Lin, F., & Scherl, R. B. (2000). Ability and knowing how in the situation calculus. Studia Logica, 66(1), 165–186.

Mogavero, F., Murano, A., Perelli, G., & Vardi, M. Y. (2012). What makes ATL* decidable? A decidable fragment of strategy logic. In Proceedings of CONCUR (pp. 193–208).

Mogavero, F., Murano, A., & Vardi, M. Y. (2010). Reasoning about strategies. In Proceedings of FSTTCS (pp. 133–144).

Pauly, M. (2001). Logic for social software. PhD thesis, University of Amsterdam.

Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1), 149–166.

Schewe, S. (2008). ATL* satisfiability is 2ExpTime-complete. In Proceedings of ICALP 2008, volume 5126 of Lecture notes in computer science (pp. 373–385). New York: Springer.

Schnoor, H. (2010). Deciding epistemic and strategic properties of cryptographic protocols. Technical report tr_1012, Kiel University.

Schnoor, H. (2010). Strategic planning for probabilistic games with incomplete information. In Proceedings of AAMAS’10 (pp. 1057–1064).

Schobbens, P. Y. (2004). Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 82–93.

van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of AAMAS’05 (pp. 157–164).

van der Hoek, W., Lomuscio, A., & Wooldridge, M. (2006). On the complexity of practical ATL model checking. In P. Stone & G. Weiss (Eds.), Proceedings of AAMAS’06 (pp. 201–208).

van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In C. Castelfranchi & W. L. Johnson (Eds.), Proceedings of the first international joint conference on autonomous agents and multi-agent systems (AAMAS-02) (pp. 1167–1174). New York: ACM Press.

van der Hoek, W., & Wooldridge, M. (2003). Cooperation, knowledge and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75(1), 125–157.

van Otterloo, S., & Jonker, G. (2004). On epistemic temporal strategic logic. Electronic Notes in Theoretical Computer Science, XX, 35–45. Proceedings of LCMAS’04.

van Otterloo, S., van der Hoek, W., & Wooldridge, M. (2004). Preferences in game logics. In Proceedings of AAMAS-04 (pp. 152–159).

Walther, D., Lutz, C., Wolter, F., & Wooldridge, M. (2006). ATL satisfiability is indeed EXPTIME-complete. Journal of Logic and Computation, 16(6), 765–787.

Walther, D., van der Hoek, W., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In D. Samet (Ed.), Proceedings TARK XI (pp. 269–278). Leuven: Presses Universitaires de Louvain.

Yadav, N., & Sardiña, S. (2012). Reasoning about agent programs using ATL-like logics. In Proceedings of JELIA (pp. 437–449).