Follow
Nils Bulling
Title
Cited by
Cited by
Year
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
982014
Model checking logics of strategic ability: Complexity
N Bulling, J Dix, W Jamroga
Specification and Verification of Multi-Agent Systems, 125-159, 2010
842010
On the (un-) decidability of model checking resource-bounded agents
N Bulling, B Farwer
ECAI 2010, 567-572, 2010
662010
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
522009
Monitoring norm violations in multi-agent systems
N Bulling, M Dastani, M Knobbout
Proceedings of the 2013 international conference on Autonomous agents and …, 2013
502013
Alternating epistemic mu-calculus
N Bulling, W Jamroga
IJCAI 11, 109-114, 2011
472011
A survey of multi-agent decision making
N Bulling
KI-Künstliche Intelligenz 28, 147-158, 2014
402014
Reasoning about temporal properties of rational play
N Bulling, W Jamroga, J Dix
Annals of Mathematics and Artificial Intelligence 53 (1), 51-114, 2008
392008
Norm-based mechanism design
N Bulling, M Dastani
Artificial Intelligence 239, 97-142, 2016
382016
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
362013
Modelling coalitions: Atl+ argumentation
N Bulling, J Dix, CI Chesñevar
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
362008
Practical Run-Time Norm Enforcement with Bounded Lookahead.
N Alechina, N Bulling, M Dastani, B Logan
AAMAS, 443-451, 2015
312015
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
302016
What agents can probably enforce
N Bulling, W Jamroga
Fundamenta Informaticae 93 (1-3), 81-96, 2009
302009
Comparing variants of strategic ability
W Jamroga, N Bulling
IJCAI 11, 252-257, 2011
252011
On the complexity of resource-bounded logics
N Alechina, N Bulling, S Demri, B Logan
Theoretical Computer Science 750, 69-100, 2018
242018
Coalitional responsibility in strategic settings
N Bulling, M Dastani
Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013
222013
Verifying normative behaviour via normative mechanism design
N Bulling, M Dastani
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
222011
Verifying agents with memory is harder than it seemed
N Bulling, W Jamroga
Ai Communications 23 (4), 389-403, 2010
222010
On the Boundary of (Un) decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.
N Alechina, N Bulling, B Logan, HN Nguyen
IJCAI 15, 1494-1501, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20