| Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-220, 2004 | 320 | 2004 |
| A logic for strategic reasoning W van der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005 | 160 | 2005 |
| Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007 | 153 | 2007 |
| Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007 | 153 | 2007 |
| Alternating-time temporal logics with irrevocable strategies T Ågotnes, V Goranko, W Jamroga Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007 | 135 | 2007 |
| Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Information, Interaction and Agency, 77-116, 2004 | 131 | 2004 |
| Some remarks on alternating temporal epistemic logic W Jamroga Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003 | 95 | 2003 |
| Comparing variants of strategic ability: how uncertainty and memory influence general properties of games N Bulling, W Jamroga Autonomous agents and multi-agent systems 28 (3), 474-518, 2014 | 94 | 2014 |
| Towards a theory of intention revision W van Der Hoek, W Jamroga, M Wooldridge Synthese 155 (2), 265-290, 2007 | 80 | 2007 |
| Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010 | 76 | 2010 |
| Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015 | 64 | 2015 |
| Model checking abilities under incomplete information is indeed∆ P 2-complete W Jamroga, J Dix EUMAS 6, 14-15, 2006 | 61 | 2006 |
| Strategic games and truly playable effectivity functions V Goranko, W Jamroga, P Turrini Autonomous Agents and Multi-Agent Systems 26 (2), 288-314, 2013 | 53 | 2013 |
| On module checking and strategies W Jamroga, A Murano Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 44 | 2014 |
| Do agents make model checking explode (computationally)? W Jamroga, J Dix International Central and Eastern European Conference on Multi-Agent Systems …, 2005 | 44 | 2005 |
| Alternating epistemic mu-calculus N Bulling, W Jamroga Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 38 | 2011 |
| Reasoning about temporal properties of rational play N Bulling, W Jamroga, J Dix Annals of Mathematics and Artificial Intelligence 53 (1), 51-114, 2008 | 38 | 2008 |
| Model checking abilities of agents: A closer look W Jamroga, J Dix Theory of Computing Systems 42 (3), 366-410, 2008 | 38 | 2008 |
| Model checking abilities of agents: A closer look W Jamroga, J Dix Theory of Computing Systems 42 (3), 366-410, 2008 | 38 | 2008 |
| Intentions and strategies in game-like scenarios W Jamroga, W Hoek, M Wooldridge Portuguese Conference on Artificial Intelligence, 512-523, 2005 | 35 | 2005 |
