Publications
Below you find a list of my publications. If you are interested in a PDF version, please do not hesitate to contact me.White papers
2022
N. Bulling and P. Meyer. Non-bankable Assets - Investing in a New Era. Avaloq, 2021.
M. Greweldinger, N. Bulling, S. Schuppisser, M. Breu and E. Gil. Democratization of Wealth Management - A Unique Business Opportunity. Avaloq, 2020.
Peer Reviewed Scientific Publications
2022
N. Bulling and V. Goranko. Combining quantitative and qualitative reasoning in concurrent multi-player games. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), (2) 2022.
2019
N. Bulling and W. Jamroga, and M. Popovici. Reasoning about Strategic Abilities: Agents with Truly Perfect Recall.. ACM Transactions on Computational Logic, 2019.
2018
N. Alechina, N. Bulling, S. Demri, and B. Logan. On the Complexity of Resource-Bounded Logics. Theoretical Computer Science (TCS), 2018.
2017
N. Alechina, N. Bulling, B. Logan, and H. N. Nguyen. The Virtues of Idleness: A Decidable Fragment of Resource Agent Logic. Artificial Intelligence (AIJ), 2017.
2016
N. Bulling and M. Dastani. Norm-based Mechanism Design. Artificial Intelligence (AIJ).
N. Bulling and K. Hindriks. Boolean Negotiation Games. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016).
B. Testerink, M. Dastani and N. Bulling. Distributed Controllers for Norm Enforcement. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). (acceptance rate: 27%)
N. Alechina, N. Bulling, S. Demri, and B. Logan.. On the complexity of resource-bounded logics.In Proceedings of the 10th International Workshop on Reachability Problems (RP 2016), Aalborg, Denmark, LNCS. Springer, 2016
B. Testerink, M. Dastani and N. Bulling. Security and robustness for collaborative monitors. In Proceedings of the International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN 2015), volume 9628, 2016
2015
Nils Bulling. Formal methods for analysing, coordinating, and controlling decisions in multi-agent systems. Cumulative habilitation thesis. In UB Clausthal, Clausthal University of Technology, 2015.
N. Bulling, V. Goranko, W. Jamroga. Logics for Reasoning About Strategic Abilities in Multi-Player Games. In J. van Benthem, S. Ghosh, R. Verbrugge (Eds.), Models of Strategic Reasoning, 2015.
N. Bulling (editor). Multi-Agent Systems - 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8953, Springer 2015, ISBN 978-3-319-17129-6, 2015.
N. Bulling and H. N. Nguyen. Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. In Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct. 2015, Bertinoro, Italy, Springer LNCS, 2015.
N. Bulling and M. Popovici. A Game-Theoretic Approach to Compute Stable Topologies in Mobile Ad-Hoc Networks. In Journal of Logic and Computation (JLC). 25 (3), p. 639-667, 2015 (online first: May 2014).
N. Alechina, N. Bulling, B. Logan, and H. N. Nguyen. On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic . In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, July 2015. (acceptance rate: 28%)
B. Testerink, N. Bulling, M. Dastani. Security in Collaborative Monitors (extended abstract). In Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2015), ACM Press, Istanbul, Turkey, May 2014.
N. Alechina, N. Bulling, M. Dastani, B. Logan. Practical Run-Time Norm Enforcement with Bounded Lookahead. In Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2015), ACM Press, Istanbul, Turkey, May 2014. (acceptance rate: 25%)
2014
N. Bulling, L. W. N. van der Torre, S. Villata, W. Jamroga, W. W. Vasconcelos (editors). Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3, 2014.
T. Agotnes and N. Bulling (editors). Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4(8): 21-44, 2014.
N. Bulling. A Survey of Multi-Agent Decision Making. In KI 28(3), August 2014.
N. Bulling. Editorial: Multi-Agent Decision Making. In KI 28(3), August 2014.
N. Bulling. Interview with Professor Sarit Kraus. In KI 28(3), August 2014.
N. Bulling. A Boolean Game Based Modelling of Socio-Technical Systems. In the Proceedings of the 12th German Conference on Multiagent Technologies (MATES), Springer LNCS, September 2014. (acceptance rate 29%)
N. Bulling, W. Jamroga, M. Popovici. ATL with Truly Perfect Recall: Expressivity and Validities. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 2014. (acceptance rate 28%)
N. Bulling. A Boolean Game Based Modelling of Socio-Technical Systems. In the Proceedings of the 17th International Workshop on Coordination, Organizations, Institutions and Norms (COIN), May 2014. (informal workshop proceedings)
N. Bulling, W. Jamroga, M. Popovici. Agents With Truly Perfect Recall in Alternating-Time Temporal Logic (extended abstract). In Proceedings of the 13th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2014), ACM Press, Paris, France. May 2014.
N. Bulling, W. Jamroga. Comparing Variants of Strategic Ability–How Uncertainty and Memory Influence General Properties of Games. In Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Volume 28, Issue 3, pp 474-518, 2014.
2013
N. Bulling, S. Ghosh, R. Verbrugge. Reaching your goals without spilling the beans: Boolean secrecy games. In Proceedings of the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013), Dec. 2013, Dunedin, New Zealand. (Best Paper Award, acceptance rate 30%)
N. Bulling, M. Dastani. Coalitional Responsibility in Strategic Settings. In J. Leite, T. Son (Eds.), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Lecture Notes in Computer Science, Springer, Sep. 2013, Corunna, Spain.
N. Bulling, V. Goranko. How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games. In Proceedings of the 1st International Workshop on Strategic Reasoning, Mar. 2013, Rome, Italy.
N. Bulling, M. Dastani, M. Knobbout. Monitoring Norm Violations in Multi-Agent Systems. In Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2013), ACM Press, May. 2013, Saint Paul, Minnesota, USA. (acceptance rate 23%)
2012
N. Bulling, M. Köster, M. Popovici. A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. In M. M. Fisher, G. Governatori (Eds.), Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, Lecture Notes in Computer Science, Vol. 7486, pg. 128-145, Springer, 27-28 august. 2012, Montpellier, France.
2011
N. Bulling, K. Hindriks. Taming the Complexity of Linear Time BDI Logics. In Proceedings of the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011), pg. 275–282, ACM Press, May. 2011, Taipei, Taiwan. (acceptance rate 22%)
W. Jamroga, N. Bulling. Comparing Variants of Strategic Ability. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pg. 252–257, Jul. 2011, Barcelona, Spain. (acceptance rate 30%)
Modellierung und Verifikation von Fähigkeiten rationaler Agenten (Extended Abstract). In S. H”olldobler (Eds.), Ausgezeichnete Informatikdissertationen 2010, Lecture Notes in Informatics, Vol. 11, pg. 61–70, K”ollen Druck+Verlag GmbH, Bonn, 2011.
N. Bulling, M. Dastani. Verification and Implementation of Normative Behaviours in Multi-Agent Systems. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pg. 103–108, Jul. 2011, Barcelona, Spain. (acceptance rate 30%)
N. Bulling, M. Dastani. Normative Mechanism Design (extended abstract) (extended abstract). In Proceedings of the 10th InternationalConference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011), pg. 1187–1188, ACM Press, May. 2011, Taipei, Taiwan. (acceptance rate 23%)
N. Bulling, W. Jamroga. Alternating Epistemic Mu-Calculus. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pg. 109–114, Jul. 2011, Barcelona, Spain. (acceptance rate 30%)
2010
Nils Bulling. Modelling and Verifying Abilities of Rational Agents. In UB Clausthal, Clausthal University of Technology, PhD Thesis Oct. 2010.
N. Bulling, J. Dix, W. Jamroga. Model Checking Logics of Strategic Ability: Complexity. In M. Dastani, K. Hindriks, J. Meyer (Eds.), Specification and Verification of Multi-Agent Systems, pg. 125-158, Springer, 2010.
W. Jamroga, N. Bulling. Comparing Variants of Strategic Ability. In Proceedings of EUMAS 2010, pg. 21–36, Dec. 2010, Paris, France.
N. Bulling, W. Jamroga. Verifying Agents with Memory is Harder than It Seemed. In AI Communications, Vol. 23, No. 4, pg. 389-403, 2010.
N. Bulling, J. Dix. Modelling and Verifying Coalitions using Argumentation and ATL. In Inteligencia Artificial, Vol. 14, No. 46, pg. 45-73, March. 2010.
N. Bulling, B. Farwer. Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL^*. In J. Dix, M. Fisher, P. Novak (Eds.), Post-Proceedings of CLIMA ’09, LNCS 6214, No. 6214, pg. 22-45, Sep. 2010, Hamburg, Germany.
N. Bulling, B. Farwer. On the (Un-)Decidability of Model-Checking Resource-Bounded Agents. In H. Coelho, M. Wooldridge (Eds.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pg. 567-572, Aug. 2010, Porto, Portugal. (acceptance rate 22%)
N. Bulling, W. Jamroga. Verifying Agents with Memory is Harder than It Seemed. In Proceedings of AAMAS 2010, pg. 699-706, ACM Press, May. 2010, Toronto, Canada. (acceptance rate 24%)
2009
N. Bulling. Modeling Rational Agents in Multi-Agent Systems. In S. Matsella (Eds.), Doctoral Mentoring Program of The Eighth International Conference on Autonomous Agents and Multi-Agent Systems, pg. 3–4, May. 2009, Budapest, Hungary.
N. Bulling, J. Dix, C. Chesñevar. An Argumentative Approach for Modelling Coalitions using ATL. In I. Rahwan, P. Moraitis (Eds.), Proc. of the 5rd. Intl. Workshop on Argumentation and Multiagent Systems ArgMAS 2008 (Selected Contributions and Invited Papers), Lecture Notes, pg. 190–211, Springer, May. 2009, Estoril, Portugal.
N. Bulling, W. Jamroga. What Agents Can Probably Enforce. In Fundamenta Informaticae, Vol. 93, Issue 1-3, pg. 81-96, IOS Press, 2009.
N. Bulling, K. Hindriks. Towards a Verification Framework for Communicating Rational Agents. In LNCS / Proceeding of MATES 2009, Vol. 5774, pg. 177-182, Springer Berlin, 2009. (acceptance rate: 32%)
N. Bulling, W. Jamroga. Model Checking ATL^+ is Harder than It Seemed. In Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS’09, pg. 43–57, Dec. 2009, Ayia Napa, Cyprus.
N. Bulling, B. Farwer. Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL^*. In J. Dix, al. (Eds.), Pre-Proceedings of CLIMA ’09, pg. 2-19, Sep. 2009, Hamburg, Germany.
N. Bulling, B. Farwer. Towards modelling and reasoning about resource-bounded systems. In B. Farwer (Eds.), Proceedings of Logics, Agents, and Mobility (LAM’09), pg. 60–72, Aug. 2009, Los Angeles CA, USA.
N. Bulling, W.Jamroga. Rational Play and Rational Beliefs under Uncertainty. In Proceedings of AAMAS’09, pg. 257-264, ACM Press, May. 2009, Budapest, Hungary. (acceptance rate 22%)
2008
W. Jamroga, N. Bulling. A Logic for Reasoning about Rational Agents. In F. Sadri, K. Satoh (Eds.), Proceedings of CLIMA ’07, LNCS, Vol. 5056, pg. 42–61, Springer, 2008, Berlin Heidelberg, DE.
N. Bulling, C. Chesnevar, J. Dix. Modelling Coalitions: ATL + Argumentation. In L. Padgham, D. Parkes (Eds.), Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems, pg. 681–688, ACM Press, May. 2008, Estoril, Portugal. (acceptance rate 22%)
N. Bulling, W. Jamroga. What Agents Can Probably Enforce. In Proceedings of the International Workshop on Concurrency, Specification and Programming CS&P’08, Vol. 1, pg. 61-72, 2008, Gross Vaeter, DE.
N. Bulling, J. Dix. A Finer Grained Modeling of Rational Coalitions Using Goals. In N. Caminoa, F. Carmona, A. Lechtaler (Eds.), Proceedings of the 14th Argentinean Conference on Computer Science CACIC’08, pg. 12–21, Red UNCI, Oct. 2008, Chilecito, La Rioja, Argentina.
N. Bulling, W. Jamroga, J. Dix. Reasoning about Temporal Properties of Rational Play. In Annals of Mathematics and Artificial Intelligence, Vol. 53, No. 1-4, pg. 51–114, 2008.
2007
W. Jamroga, N. Bulling. A General Framework for Reasoning about Rational Agents. In Proceedings of AAMAS’07, pg. 592-594, ACM Press, 16–18 may. 2007, Honolulu, Hawaii, USA. (acceptance rate 25%)
W. Jamroga, N. Bulling. A Logic for Reasoning about Rational Agents. In F. Sadri, K. Satoh (Eds.), Pre-Proceedings of CLIMA ’07, pg. 54–69, Univesidade Do Porto, Sep. 2007, Porto, Portugal.
N. Bulling, W. Jamroga. A Logic for Reasoning about Rational Agents: Yet Another Attempt. In L. Czaja (Eds.), Proceedings of the International Workshop on Concurrency, Specification and Programming CS&P’07, pg. 87-99, Sep. 2007, Lagow, PL.
N. Bulling, W. Jamroga. Agents, Beliefs, and Plausible Behavior in a Temporal Setting. In Proceedings of AAMAS’07, pg. 570-577, ACM Press, 16–18 may. 2007, Honolulu, Hawaii, USA. (acceptance rate 22%)
Technical Reports and Miscellanea
2012
N. Bulling, M. Köster, M. Popovici. A Game Theoretic Approach for Stable Network Topologies in Opportunistic Networks. In Clausthal University of Technology, 2012.
2010
N. Bulling, B. Farwer. On the Decidability of Verifying Resource-Bounded Agents. In Technical Report
No. IfI-10-05, Clausthal University of Technology, Apr. 2010.
N. Bulling. Model Checking Coalition Logic on Implicit Models is \Delta_3-complete. In IfI Technical Reports, Vol. IfI-10-02, Clausthal University of Technology, Feb. 2010.
2009
N. Bulling, W. Jamroga. Model Checking ATL^+ is Harder than It Seemed. In No. IfI-09-13, Clausthal University of Technology, 2009.
2007
W. Jamroga, N. Bulling. Model Checking Rational Play. In No. IfI-07-05, Clausthal University of Technology, 2007.
C. Chesñevar, J. Dix, G. Simari, A. Maguitman, F. Stolzenburg, W. Jamroga, S. Gómez, N. Bulling. Modelado de Inferencia y Preferencias en Sistemas Multiagentes utilizando Argumentacion. In Z. Rosanigo (Eds.), Proceedings of the IX Workshop of Researchers in Computer Science. Universidad Nacional de la Patagonia San Juan Bosco, pg. 134–137, May. 2007, Trelew, Argentina.
ISBN: 978-950-763-075-0.
2006
N. Bulling, W. Jamroga. Agents, Beliefs, and Plausible Behaviour in a Temporal Setting. In No. IfI-06-05, Clausthal University of Technology, 2006.