| 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 | 101 | 2014 |
| Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010 | 88 | 2010 |
| On the (un-) decidability of model checking resource-bounded agents N Bulling, B Farwer ECAI 2010, 567-572, 2010 | 68 | 2010 |
| 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 | 54 | 2009 |
| Monitoring norm violations in multi-agent systems N Bulling, M Dastani, M Knobbout Proceedings of the 2013 international conference on Autonomous agents and …, 2013 | 53 | 2013 |
| Alternating epistemic mu-calculus N Bulling, W Jamroga IJCAI 11, 109-114, 2011 | 47 | 2011 |
| Norm-based mechanism design N Bulling, M Dastani Artificial Intelligence 239, 97-142, 2016 | 45 | 2016 |
| A survey of multi-agent decision making N Bulling KI-Künstliche Intelligenz 28, 147-158, 2014 | 43 | 2014 |
| Reasoning about temporal properties of rational play N Bulling, W Jamroga, J Dix Annals of Mathematics and Artificial Intelligence 53 (1), 51-114, 2008 | 39 | 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 | 37 | 2013 |
| Modelling coalitions: Atl+ argumentation N Bulling, J Dix, CI Chesñevar Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 37 | 2008 |
| Logics for reasoning about strategic abilities in multi-player games N Bulling, V Goranko, W Jamroga Models of strategic reasoning: logics, games, and communities, 93-136, 2016 | 32 | 2016 |
| What agents can probably enforce N Bulling, W Jamroga Fundamenta Informaticae 93 (1-3), 81-96, 2009 | 32 | 2009 |
| Practical run-time norm enforcement with bounded lookahead N Alechina, N Bulling, M Dastani, B Logan Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015 | 30 | 2015 |
| Comparing variants of strategic ability W Jamroga, N Bulling IJCAI 11, 252-257, 2011 | 28 | 2011 |
| On the complexity of resource-bounded logics N Alechina, N Bulling, S Demri, B Logan Theoretical Computer Science 750, 69-100, 2018 | 26 | 2018 |
| Coalitional responsibility in strategic settings N Bulling, M Dastani International Workshop on Computational Logic in Multi-Agent Systems, 172-189, 2013 | 26 | 2013 |
| Verifying agents with memory is harder than it seemed N Bulling, W Jamroga Ai Communications 23 (4), 389-403, 2010 | 24 | 2010 |
| Combining quantitative and qualitative reasoning in concurrent multi-player games N Bulling, V Goranko Autonomous Agents and Multi-Agent Systems 36 (1), 2, 2022 | 22 | 2022 |
| Verifying normative behaviour via normative mechanism design N Bulling, M Dastani IJCAI 11, 103-108, 2011 | 22 | 2011 |
Wojciech JamrogaPolish Academy of SciencesE-mail megerősítve itt: ipipan.waw.pl