Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-220, 2004 | 345 | 2004 |
Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007 | 169 | 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 | 169 | 2007 |
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005 | 169 | 2005 |
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004 | 145 | 2004 |
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 | 143 | 2007 |
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, 474-518, 2014 | 101 | 2014 |
Some remarks on alternating temporal epistemic logic W Jamroga Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003 | 100 | 2003 |
Towards a theory of intention revision W van Der Hoek, W Jamroga, M Wooldridge Synthese 155, 265-290, 2007 | 88 | 2007 |
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010 | 84 | 2010 |
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015 | 80 | 2015 |
Model checking abilities under incomplete information is indeed∆ P 2-complete W Jamroga, J Dix EUMAS 6, 14-15, 2006 | 63 | 2006 |
Strategic games and truly playable effectivity functions V Goranko, W Jamroga, P Turrini Autonomous Agents and Multi-Agent Systems 26, 288-314, 2013 | 57 | 2013 |
On module checking and strategies W Jamroga, A Murano Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 51 | 2014 |
Alternating epistemic mu-calculus N Bulling, W Jamroga IJCAI 11, 109-114, 2011 | 49 | 2011 |
Do agents make model checking explode (computationally)? W Jamroga, J Dix Multi-Agent Systems and Applications IV: 4th International Central and …, 2005 | 46 | 2005 |
Strategic responsibility under imperfect information V Yazdanpanah, M Dastani, N Alechina, B Logan, W Jamroga Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 44 | 2019 |
Towards partial order reductions for strategic ability W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz Journal of Artificial Intelligence Research 68, 817-850, 2020 | 43 | 2020 |
Module checking of strategic ability. W Jamroga, A Murano AAMAS 15, 227-235, 2015 | 43 | 2015 |
Model checking abilities under incomplete information is indeed delta2-complete W Jamroga Deutsche Nationalbibliothek, 2006 | 43 | 2006 |