| 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 | 81 | 2014 |
| Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-agent Systems, 125-159, 2010 | 62 | 2010 |
| On the (Un-) Decidability of Model Checking Resource-Bounded Agents. N Bulling, B Farwer ECAI 10, 567-572, 2010 | 53 | 2010 |
| Monitoring norm violations in multi-agent systems N Bulling, M Dastani, M Knobbout Proceedings of the 2013 international conference on Autonomous agents and …, 2013 | 45 | 2013 |
| Expressing properties of resource-bounded systems: The logics RTL* and RTL N Bulling, B Farwer International Workshop on Computational Logic in Multi-Agent Systems, 22-45, 2009 | 42* | 2009 |
| Reasoning about temporal properties of rational play N Bulling, W Jamroga, J Dix Annals of Mathematics and Artificial Intelligence 53 (1-4), 51, 2008 | 33 | 2008 |
| Alternating epistemic mu-calculus N Bulling, W Jamroga Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 32 | 2011 |
| Modelling coalitions: ATL+ argumentation N Bulling, J Dix, CI Chesńevar Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 32 | 2008 |
| How to be both rich and happy: Combining quantitative and qualitative strategic reasoning about multi-player games N Bulling, V Goranko arXiv preprint arXiv:1303.0789, 2013 | 28 | 2013 |
| Verifying normative behaviour via normative mechanism design N Bulling, M Dastani Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 20 | 2011 |
| Practical run-time norm enforcement with bounded lookahead N Alechina, N Bulling, M Dastani, B Logan | 19 | 2015 |
| Comparing variants of strategic ability W Jamroga, N Bulling Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 19 | 2011 |
| Verifying agents with memory is harder than it seemed N Bulling, W Jamroga AI Communications 23 (4), 389-403, 2010 | 19* | 2010 |
| What agents can probably enforce N Bulling, W Jamroga Fundamenta Informaticae 93 (1-3), 81-96, 2009 | 18 | 2009 |
| Agents, beliefs, and plausible behavior in a temporal setting N Bulling, W Jamroga Proceedings of the 6th international joint conference on Autonomous agents …, 2007 | 18 | 2007 |
| A survey of multi-agent decision making N Bulling KI-Künstliche Intelligenz 28 (3), 147-158, 2014 | 16 | 2014 |
| Modelling and verifying coalitions using argumentation and ATL N Bulling, J Dix Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2010 | 16 | 2010 |
| On the boundary of (un) decidability: Decidable model-checking for a fragment of resource agent logic N Alechina, N Bulling, B Logan, HN Nguyen Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 13 | 2015 |
| Logics for reasoning about strategic abilities in multi-player games N Bulling, V Goranko, W Jamroga Models of Strategic Reasoning, 93-136, 2015 | 13 | 2015 |
| A framework for reasoning about rational agents W Jamroga, N Bulling Proceedings of the 6th international joint conference on Autonomous agents …, 2007 | 13 | 2007 |
Wojciech JamrogaPolish Academy of SciencesGeverifieerd e-mailadres voor ipipan.waw.pl
