Nils Bulling - RankMe

57 papers A* 4A 14B 2C 1Journal 18Unranked 13

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