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 | 100 | 2014 |
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010 | 85 | 2010 |
On the (un-) decidability of model checking resource-bounded agents N Bulling, B Farwer ECAI 2010, 567-572, 2010 | 67 | 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 | 53 | 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 | 53 | 2009 |
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 | 43 | 2016 |
A survey of multi-agent decision making N Bulling KI-Künstliche Intelligenz 28, 147-158, 2014 | 42 | 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 | 38 | 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 | 36 | 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 |
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 | 32 | 2015 |
What agents can probably enforce N Bulling, W Jamroga Fundamenta Informaticae 93 (1-3), 81-96, 2009 | 32 | 2009 |
Coalitional responsibility in strategic settings N Bulling, M Dastani Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013 | 27 | 2013 |
Comparing variants of strategic ability W Jamroga, N Bulling IJCAI 11, 252-257, 2011 | 26 | 2011 |
On the complexity of resource-bounded logics N Alechina, N Bulling, S Demri, B Logan Theoretical Computer Science 750, 69-100, 2018 | 25 | 2018 |
Verifying agents with memory is harder than it seemed N Bulling, W Jamroga Ai Communications 23 (4), 389-403, 2010 | 23 | 2010 |
Verifying normative behaviour via normative mechanism design N Bulling, M Dastani Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 22 | 2011 |
On the boundary of (un) decidability: Decidable model-checking for a fragment of resource agent logic N Alechina, N Bulling, B Logan, HN Nguyen | 21 | 2015 |