Nils Bulling
TitleCited byYear
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
802014
Model checking logics of strategic ability: Complexity
N Bulling, J Dix, W Jamroga
Specification and Verification of Multi-agent Systems, 125-159, 2010
602010
On the (Un-) Decidability of Model Checking Resource-Bounded Agents.
N Bulling, B Farwer
ECAI 10, 567-572, 2010
532010
Monitoring norm violations in multi-agent systems
N Bulling, M Dastani, M Knobbout
Proceedings of the 2013 international conference on Autonomous agents and …, 2013
452013
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
332008
Modelling coalitions: ATL+ argumentation
N Bulling, J Dix, CI Chesńevar
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
322008
Alternating epistemic mu-calculus
N Bulling, W Jamroga
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
302011
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
272013
Verifying normative behaviour via normative mechanism design
N Bulling, M Dastani
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
202011
Practical run-time norm enforcement with bounded lookahead
N Alechina, N Bulling, M Dastani, B Logan
192015
Comparing variants of strategic ability
W Jamroga, N Bulling
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
192011
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
182009
Agents, beliefs, and plausible behavior in a temporal setting
N Bulling, W Jamroga
Proceedings of the 6th international joint conference on Autonomous agents …, 2007
182007
A survey of multi-agent decision making
N Bulling
KI-Künstliche Intelligenz 28 (3), 147-158, 2014
162014
Modelling and verifying coalitions using argumentation and ATL
N Bulling, J Dix
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2010
162010
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
132015
A framework for reasoning about rational agents
W Jamroga, N Bulling
Proceedings of the 6th international joint conference on Autonomous agents …, 2007
132007
The virtues of idleness: A decidable fragment of resource agent logic
N Alechina, N Bulling, B Logan, HN Nguyen
Artificial Intelligence 245, 56-85, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20