Nils Bulling

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 12

Top Venues

AAMAS

Künstliche Intell.

ECAI

Artif. Intell.

Clausthal University of Technology (PHD)

Education History

Clausthal University of Technology

PHD

Publications

Nils Bulling, Valentin Goranko
Combining quantitative and qualitative reasoning in concurrent multi-player games. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Nils Bulling, Valentin Goranko
Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player Games. AAMAS (2022)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20 (2) (2019)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the complexity of resource-bounded logics. Theor. Comput. Sci. 750 (2018)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
The virtues of idleness: A decidable fragment of resource agent logic. Artif. Intell. 245 (2017)
Nils Bulling, Koen V. Hindriks
Boolean Negotiation Games. COREDEMA@ECAI (2016)
Bas Testerink, Mehdi Dastani, Nils Bulling
Distributed Controllers for Norm Enforcement. ECAI (2016)
Nils Bulling, Wiebe van der Hoek
Special Issue on Logical Aspects of Multi-Agent Systems. Stud Logica 104 (4) (2016)
Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan
On the Complexity of Resource-Bounded Logics. RP (2016)
Nils Bulling, Koen V. Hindriks
Boolean Negotiation Games. ECAI (2016)
Nils Bulling
Special issue on multi-agent systems. Ann. Math. Artif. Intell. 78 (1) (2016)
Nils Bulling, Mehdi Dastani
Norm-based mechanism design. Artif. Intell. 239 (2016)
Nils Bulling, Hoang Nga Nguyen
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. PRIMA (2015)
Nils Bulling, Hoang Nga Nguyen
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. CoRR (2015)
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. IJCAI (2015)
Bas Testerink, Nils Bulling, Mehdi Dastani
Security and Robustness for Collaborative Monitors. COIN@AAMAS/IJCAI (2015)
Nils Bulling, Matei Popovici
A game-theoretic approach to compute stable topologies in mobile ad hoc networks. J. Log. Comput. 25 (3) (2015)
Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan
Practical Run-Time Norm Enforcement with Bounded Lookahead. AAMAS (2015)
Bas Testerink, Nils Bulling, Mehdi Dastani
A Model for Collaborative Runtime Verification. AAMAS (2015)
Nils Bulling, Wojciech Jamroga
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. 28 (3) (2014)
Nils Bulling
A Boolean Game Based Modeling of Socio-Technical Systems. MATES (2014)
Nils Bulling
Special Issue on Multi-Agent Decision Making. Künstliche Intell. 28 (3) (2014)
Nils Bulling
A Survey of Multi-Agent Decision Making. Künstliche Intell. 28 (3) (2014)
Nils Bulling, Wojciech Jamroga, Matei Popovici
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI (2014)
Thomas Ågotnes, Nils Bulling
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4 (8) (2014)
Nils Bulling, Wojciech Jamroga, Matei Popovici
Agents with truly perfect recall in alternating-time temporal logic. AAMAS (2014)
Nils Bulling
Interview with Professor Sarit Kraus. Künstliche Intell. 28 (3) (2014)
Nils Bulling, Valentin Goranko
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) SR (2013)
Nils Bulling, Mehdi Dastani, Max Knobbout
Monitoring norm violations in multi-agent systems. AAMAS (2013)
Nils Bulling, Mehdi Dastani
Coalitional Responsibility in Strategic Settings. CLIMA (2013)
Nils Bulling, Sujata Ghosh, Rineke Verbrugge
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. PRIMA (2013)
Nils Bulling, Michael Köster, Matei Popovici
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. CLIMA (2012)
Nils Bulling, Mehdi Dastani
Normative programs and normative mechanism design. AAMAS (2011)
Nils Bulling, Mehdi Dastani
Verifying Normative Behaviour via Normative Mechanism Design. IJCAI (2011)
Nils Bulling, Koen V. Hindriks
Taming the complexity of linear time BDI logics. AAMAS (2011)
Wojciech Jamroga, Nils Bulling
Comparing Variants of Strategic Ability. IJCAI (2011)
Nils Bulling, Wojciech Jamroga
Alternating Epistemic Mu-Calculus. IJCAI (2011)
Nils Bulling, Wojciech Jamroga
Verifying agents with memory is harder than it seemed. AAMAS (2010)
Nils Bulling
Modellierung und Verifikation von Fähigkeiten rationaler Agenten. Ausgezeichnete Informatikdissertationen (2010)
Nils Bulling, Wojciech Jamroga
Verifying agents with memory is harder than it seemed. AI Commun. 23 (4) (2010)
Nils Bulling, Jürgen Dix
Modelling and Verifying Coalitions using Argumentation and ATL. Inteligencia Artif. 14 (46) (2010)
Nils Bulling, Berndt Farwer
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. ECAI (2010)
Nils Bulling, Wojciech Jamroga
What Agents Can Probably Enforce. Fundam. Informaticae 93 (1-3) (2009)
Nils Bulling, Berndt Farwer
and RTL. CLIMA (2009)
Nils Bulling, Koen V. Hindriks
Towards a Verification Framework for Communicating Rational Agents. MATES (2009)
Nils Bulling, Wojciech Jamroga
Rational play and rational beliefs under uncertainty. AAMAS (1) (2009)
Nils Bulling, Wojciech Jamroga, Jürgen Dix
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix
An Argumentative Approach for Modelling Coalitions Using ATL. ArgMAS (2008)
Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar
Modelling coalitions: ATL + argumentation. AAMAS (2) (2008)
Nils Bulling, Wojciech Jamroga
Agents, beliefs, and plausible behavior in a temporal setting. AAMAS (2007)
Wojciech Jamroga, Nils Bulling
A framework for reasoning about rational agents. AAMAS (2007)
Wojciech Jamroga, Nils Bulling
A Logic for Reasoning about Rational Agents. CLIMA (2007)

Nils Bulling.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nils Bulling