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 | 88 | 2014 |
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-agent Systems, 125-159, 2010 | 67 | 2010 |
On the (Un-) Decidability of Model Checking Resource-Bounded Agents. N Bulling, B Farwer ECAI 10, 567-572, 2010 | 58 | 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 | 46 | 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 | 46* | 2009 |
Alternating epistemic mu-calculus N Bulling, W Jamroga IJCAI 11, 109-114, 2011 | 33 | 2011 |
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 |
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 | 32 | 2013 |
Modelling coalitions: ATL+ argumentation N Bulling, J Dix, CI Chesńevar Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 32 | 2008 |
Practical run-time norm enforcement with bounded lookahead N Alechina, N Bulling, M Dastani, B Logan | 21 | 2015 |
Comparing variants of strategic ability W Jamroga, N Bulling IJCAI 11, 252-257, 2011 | 21 | 2011 |
Verifying normative behaviour via normative mechanism design N Bulling, M Dastani Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 21 | 2011 |
Verifying agents with memory is harder than it seemed N Bulling, W Jamroga AI Communications 23 (4), 389-403, 2010 | 20* | 2010 |
What agents can probably enforce N Bulling, W Jamroga Fundamenta Informaticae 93 (1-3), 81-96, 2009 | 20 | 2009 |
Norm-based mechanism design N Bulling, M Dastani Artificial Intelligence 239, 97-142, 2016 | 17 | 2016 |
A survey of multi-agent decision making N Bulling KI-Künstliche Intelligenz 28 (3), 147-158, 2014 | 17 | 2014 |
Modelling and verifying coalitions using argumentation and ATL N Bulling, J Dix Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2010 | 17 | 2010 |
Agents, beliefs, and plausible behavior in a temporal setting N Bulling, W Jamroga Proceedings of the 6th international joint conference on Autonomous agents …, 2007 | 17 | 2007 |
On the boundary of (un) decidability: Decidable model-checking for a fragment of resource agent logic N Alechina, N Bulling, B Logan, HN Nguyen | 16 | 2015 |
Logics for reasoning about strategic abilities in multi-player games N Bulling, V Goranko, W Jamroga Models of Strategic Reasoning, 93-136, 2015 | 16 | 2015 |