## Publications

Below you find a list of my publications. If you are interested in a PDF version, please do not hesitate to contact me.### Peer Reviewed Scientific Publications

##### 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.