PD Dr. rer. nat. habil. Nils Bulling

In 2011 I was appointed Akademischer Rat (Assistant Professor) at Clausthal University of Technology. In 2010 I have finished my PhD (thesis: Modelling and Verifying Abilities of rational agents, grade: summa cum laude) and afterwards held a post-doc position for a few month also at Clausthal University of Technology.

I am member of the Computational Intelligence Group. Since 2008 I am chairman of the scientific employees and since 2009 I am assistant of the executive board of the Department of Informatics. I am also organizer of our group's oberseminar.

Please feel free to visit my personal homepage for additional information: Personal Homepage

Research interests

My research is centered around logics and formal methods for multi-agent systems.

  • (Modal) logics
  • Model checking and verification
  • Game theoretical concepts
  • Computational complexity
  • Security and reliability
  • Applications of formal methods
  • Resource-bounded systems

Teaching

In the last years I have taught the following courses.

TU Clausthal

    • Verification of Concurrent Systems (WS 2012/13)
    • Informatics III - Automata Theory and Formal Languages (WS 2012/13)
    • Hauptseminar (MAS and AI) (WS 2012/13)
    • Proseminar (MAS and AI) (WS 2012/13)
    • Multi-Agent Systems II (SS 2012)
    • Introduction to the Modelling and Analysis of Security Protocols (WS 2011/12)
    • Complexity Theory (SS 2011)
    • Artificial Intelligence (SS 2011)
    • Seminar on AI (SS 2011)
    • Modal Logics (WS 2010/11)
    • Artificial Intelligence (SS 2010)
    • Multi-Agent Systems II (SS 2010)
    • Informatics III (WS 2009/10)
    • Artificial Intelligence (SS 2009)
    • Modal Logics (WS 2008/09)
    • Hauptseminar (WS 2008/09)
    • Proseminar (WS 2008/09)
    • Artificial Intelligence (SS 2008)
    • Seminars (Logics) (SS 2008)
    • Complexity Theory (WS 2007/08)
    • Artificial Intelligence (SS 2007)
    • Hauptseminar (Logics and AI) (SS 2007)
    • Proseminar (AI) (SS 2007)
    • Informatics III (WS 2006/07)
    • Artificial Intelligence (SS 2006)
    • Hauptseminar (AI) (SS 2006)
    • Proseminar (AI) (SS 2006)

      International Teaching

      • Introduction to the Modelling and Verification of, and Reasoning About Multi-Agent Systems at the 14th European Agent Systems Summer School (EASSS’12) in Valencia, Spain, June 2012. Together with Jürgen Dix.
      • Logics and Multi-Agent Programming Languages at the 11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’12) in Valencia, Spain, June 2012. Together with Natasha Alechina, Mehdi Dastani and Brian Logan.
      • Decision Problems and Decision Procedures for Strategic Logics at the 23rd European Summer School on Logic, Language, and Information (ESSLLI’11) in Ljubljana, Slovenia, August 2011. Together with Wojtek Jamroga.
      • Model Checking Temporal and Strategic Logics at the 12th European Agent Systems Summer School (EASSS’10) in St. Etienne, France, August 2010.

       

      Projects

      Contact

      Office room 203, Am Regenbogen 15

      Phone: +49-5323-72 7182

      E-Mail: bulling [at] in.tu-clausthal.de

      PhD thesis

      You can find an electronic version of my PhD thesis "Modelling and Verifying Abilities of Rational Agents" here.

      Supervisor: Prof. Dr. Jürgen Dix

      PhD Committee: Prof. Dr. Jürgen Dix, PD Dr. habil. Wojciech Jamroga, Prof. Dr. Sarit Kraus, Prof. Dr. Jörg Müller (chair)

      Publications

      Publications

      All | Articles | Books and Collections | Book Chapters | Conference Papers 
      Conference Proceedings | Technical Reports | PhD-Theses | Diploma-Theses 
      Editor (Journal) 


        tip
       

      Articles (4)

      Bulling, Nils and Dix, Jürgen: Modelling and Verifying Coalitions using Argumentation and ATL, Inteligencia Artificial, Volume 14, 2010

      Bulling, Nils and Jamroga, Wojciech: Verifying Agents with Memory is Harder than It Seemed, AI Communications, Volume 23, 2010

      Bulling, Nils and Jamroga, Wojciech: What Agents Can Probably Enforce, Fundamenta Informaticae, Volume 93, IOS Press, 2009

      Bulling, N. and Jamroga, W. and Dix, J.: Reasoning about Temporal Properties of Rational Play, Annals of Mathematics and Artificial Intelligence, Volume 53, 2008

      Books and Collections (1)

      Bulling, Nils: Modelling and Verifying Abilities of Rational Agents, UB Clausthal, http://www.gbv.de/dms/clausthal/E_DISS/2010/db109988.pdf, 2010

      Book Chapters (2)

      Bulling, Nils: Modellierung und Verifikation von Fähigkeiten rationaler Agenten (Extended Abstract), Lecture Notes in Informatics, Volume 11, K"ollen Druck+Verlag GmbH, Bonn, 2011

      Coverbild Bulling, Nils and Dix, Jürgen and Jamroga, Wojciech: Model Checking Logics of Strategic Ability: Complexity, Springer, 2010

      Conference Papers (28)

      Bulling, Nils and Goranko, Valentin: How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games, to appear in 2013

      Bulling, Nils and Dastani, Mehdi and Knobbout, Max: Monitoring Norm Violations in Multi-Agent Systems, ACM Press, 2013

      Bulling, Nils and Köster, Michael and Popovici, Matei: A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks, Lecture Notes in Computer Science, Volume 7486, Springer, 2012

      Bulling, Nils and Dastani, Mehdi: Verification and Implementation of Normative Behaviours in Multi-Agent Systems, 2011

      Bulling, Nils and Dastani, Mehdi: Normative Mechanism Design (extended abstract), ACM Press, 2011

      Bulling, Nils and Hindriks, Koen V.: Taming the Complexity of Linear Time BDI Logics, ACM Press, 2011

      Bulling, Nils and Jamroga, Wojciech: Alternating Epistemic Mu-Calculus, 2011

      Jamroga, Wojciech and Bulling, Nils: Comparing Variants of Strategic Ability, 2011

      Bulling, Nils and Farwer, Berndt: On the (Un-)Decidability of Model-Checking Resource-Bounded Agents, 2010

      Bulling, Nils and Farwer, Berndt: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, LNCS 6214, 2010

      Bulling, Nils and Jamroga, Wojciech: Verifying Agents with Memory is Harder than It Seemed, ACM Press, 2010

      Jamroga, Wojciech and Bulling, Nils: Comparing Variants of Strategic Ability, 2010

      Bulling, N. and Dix, J. and Ches~nevar, C.: An Argumentative Approach for Modelling Coalitions using ATL, Lecture Notes, Springer, 2009

      Bulling, N. and Farwer, B.: Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$, 2009

      Bulling, N. and W.Jamroga: Rational Play and Rational Beliefs under Uncertainty, ACM Press, 2009

      Bulling, Nils: Modeling Rational Agents in Multi-Agent Systems, 2009

      Bulling, Nils and Farwer, Berndt: Towards modelling and reasoning about resource-bounded systems, 2009

      Bulling, Nils and Hindriks, Koen V.: Towards a Verification Framework for Communicating Rational Agents, Volume 5774, Springer Berlin, 2009

      Bulling, Nils and Jamroga, Wojciech: Model Checking ATL$^+$ is Harder than It Seemed, 2009

      Bulling, N. and Jamroga, W.: What Agents Can Probably Enforce, Volume 1, 2008

      Bulling, Nils and Chesnevar, Carlos and Dix, Jürgen: Modelling Coalitions: ATL + Argumentation, ACM Press, 2008

      Bulling, Nils and Dix, Jürgen: A Finer Grained Modeling of Rational Coalitions Using Goals, Red UNCI, 2008

      Jamroga, W. and Bulling, N.: A Logic for Reasoning about Rational Agents, LNCS, Volume 5056, Springer, 2008

      Bulling, N. and Jamroga, W.: Agents, Beliefs, and Plausible Behavior in a Temporal Setting, ACM Press, 2007

      Bulling, N. and Jamroga, W.: A Logic for Reasoning about Rational Agents: Yet Another Attempt, 2007

      Ches~nevar, C. and Dix, J. and Simari, G. and Maguitman, A. and Stolzenburg, F. and Jamroga, W. and Gómez, S. and Bulling, N.: Modelado de Inferencia y Preferencias en Sistemas Multiagentes utilizando Argumentacion, 2007

      Jamroga, W. and Bulling, N.: A General Framework for Reasoning about Rational Agents, ACM Press, 2007

      Jamroga, Wojciech and Bulling, Nils: A Logic for Reasoning about Rational Agents, Univesidade Do Porto, 2007

      Technical Reports (8)

      Bulling, Nils: Model Checking Coalition Logic on Implicit Models is Delta3-complete, 2010

      Bulling, Nils and Farwer, Berndt: On the Decidability of Verifying Resource-Bounded Agents, 2010

      Bulling, Nils and Hindriks, Koen V.: Communicating Rational Agents: Semantics and Verification, 2009

      Bulling, Nils and Jamroga, Wojciech: Model Checking ATL+ is Harder than It Seemed, 2009

      Bulling, Nils and Jamroga, Wojciech: What Agents Can Probably Enforce, 2009

      Bulling, Nils and Jamroga, Wojciech and Dix, Jürgen: Reasoning about Temporal Properties of Rational Play, 2008

      Jamroga, Wojciech and Bulling, Nils: Model Checking Rational Play, 2007

      Bulling, Nils and Jamroga, Wojciech: Agents, Beliefs, and Plausible Behavior in a Temporal Setting, 2006

      PhD-Theses (1)

      Bulling, Nils: Modelling and Verifying Abilities of Rational Agents, 2010

      Diploma-Theses (1)

      Bulling, Nils: Modal Logics for Games, Time and Beliefs, March 2006

      Show results as BibTeX-Code

      Activities

      All | PC-Member | Invited 


        tip
       

      PC-Member (16)

      Bulling, Nils: ICJAI 2013: International Joint Conference on Artificial Intelligence, Beijing, China, 2013

      Bulling, Nils: LAM 2013: Sixth International Workshop on Logics, Agents, and Mobility, Exeter, UK, 2013

      Bulling, Nils: AAMAS 2013: International Conference on Autonomous Agents and Multi-Agent Systems, Sant Paul, Minnesota, USA, 2013

      Bulling, Nils: Student Session of the 12th European Agent Systems Summer School (EASSS 2012), Valencia, Spain, 2012

      Bulling, Nils: CLIMA XIII: 13th International Workshop on Computational Logic in Multi-Agent Systems, Montpellier, France, 2012

      Bulling, Nils: 15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2012), Sarawak, Malaysien, 2012

      Bulling, Nils: LAMAS 2012: 5th International Workshop on Logical Aspects of Multi-Agent Systems, Valencia, Spain, 2012

      Bulling, Nils: AAMAS 2012: International Conference on Autonomous Agents and Multi-Agent Systems, Valencia, Spain, 2012

      Bulling, Nils: LAM 2012: Fifth International Workshop on Logics, Agents, and Mobility, Hamburg, Germany, 2012

      Bulling, Nils: LAM 2011: Fourth International Workshop on Logics, Agents, and Mobility, Aachen, Germany, 2011

      Bulling, Nils: ICJAI 2011: International Joint Conference on Artificial Intelligence, Barcelona, Spain, 2011

      Bulling, Nils: CLIMA XII: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, 2011

      Bulling, Nils: Student Session of the 12th European Agent Systems Summer School (EASSS 2010), Saint-Etienne, France, August 2010

      Bulling, Nils: CLIMA XI: 11th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal, August 2010

      Bulling, Nils: The Third Workshop on Logics for Resource-Bounded Agents (LRBA), Domaine Valpr, Lyon, France, September 2010

      Bulling, Nils: Iberamia 2010: 12th Iberoamerican International Congress on Artificial Intelligence, Bahia Blanca, Argentina, November 2010

      Invited (22)

      Bulling, Nils: Introduction to the Modelling and Verification of, and Reasoning About Multi-Agent Systems, EASSS '12: European Agent Systems Summer School, Valencia, Spain, 2012, Invited Lecturer

      Bulling, Nils: Logics and Multi-Agent Programming Languages, AAMAS '12: International Conference on Autononous Agents and Multi-Agent Systems, Valencia, Spain, 2012, Invited Lecturer

      Bulling, Nils: How to Achieve and How to Verify Norm Compliance of Resource-Bounded Agents?, University of Luxembourg, Luxembourg, 2012, Invited Talk (Colloquium)

      Bulling, Nils: University of Kassel, Kassel, Germany, March 2012, Invited Talk (W1-Professorship)

      Bulling, Nils: Decision Problems and Decision Procedures for Strategic Logics, ESSLLI '11: European Summer School on Logic, Language and Information, Ljubljana, Slovenien, August 2011, Invited Lecturer

      Bulling, Nils: Verifying Normative Behaviour of via Normative Mechanism Design, Seminar ``Multi-Agent Organization'', Leiden, The Netherlands, 2011, Invited Talk (Seminar)

      Bulling, Nils: Comparing Semantics of Strategic Ability, Workshop on ``Logic and its Applications'', Kolkata, India, September 2011, Invited Talk (Workshop)

      Bulling, Nils: Model Checking Strategic Logics for Resource-Bounded Agents, University of Bergen Logic Seminar, Bergen, Norwegen, August 2011, Invited Talk (Colloquium)

      Bulling, Nils: Comparing Semantics of Strategic Ability, Bergen University College, Bergen, Norwegen, August 2011, Invited Talk (Colloquium)

      Bulling, Nils: Modelling and Verifying Abilities of Rational Agents, GI-Dissertationprize 2010, Dagstuhl, Germany, 2011, Invited Talk

      Bulling, Nils: Model Checking, Strategic Logics, and Rational Agents, Nanyang Technological University, Singapore, 2011, Invited Talk (Colloquium)

      Bulling, Nils: Model Checking Strategic Logics for Resource-Bounded Agents, Grolog colloquium talk, Groningen, Netherlands, March 2011, Invited Talk (Colloquium)

      Bulling, Nils: Normative Mechanism Design, Seminar on ``Reasoning about Interaction: From Game Theory to Logic and Back'', Dagstuhl, Germany, March 2011, Invited Talk (Seminar)

      Bulling, Nils: Model Checking Temporal and Strategic Logic, EASSS '10: European Agent Systems Summer School, Saint-Etienne, France, 2010, Invited Lecturer

      Bulling, Nils: Is It Possible to Verify Resource-Bounded Agents?, TU Delft, Delft, The Netherlands, 2010, Invited Talk (Colloquium)

      Bulling, Nils: On the Complexity of Verifying Agents With and Without Memory: A Comparison, Utrecht University, Utrecht, The Netherlands, 2010, Invited Talk (Colloquium)

      Bulling, Nils: On the Complexity of Verifying Agents With and Without Memory: A Comparison, University of Luxembourg, Luxembourg, 2010, Invited Talk (Colloquium)

      Bulling, Nils: Rational Agents in Multi-Agent Systems: Modelling and Verification, Durham University, Durham, UK, 2009, Invited Talk (Colloquium)

      Bulling, Nils: Rational Beliefs and Rational Play under Uncertainty, TU Delf, Delft, The Netherlands, 2009, Invited Talk (Colloquium)

      Bulling, Nils: Where Can Planning Be Used in the Modelling of Rational Agents?, Seminar on ``Planning in Multi-Agent Systems'', 2008, Invited Talk (Seminar)

      Bulling, Nils: Modelling Rationality Aspects in Multi-Agent Systems, Seminar on ``Programming Multi-Agent Systems'', Dagstuhl, Germany, 2008, Invited Talk (Seminar)

      Bulling, Nils: A General Framework for Reasoning about Rational Agents, KNAW Academy Colloquium on ``New perspectives on Games and Interaction'', Amsterdam, The Netherlands, 2007, Invited Talk (Colloquium)

      Show results as BibTeX-Code
       

      Kontakt  Suche  Sitemap  Datenschutz  Imprint
      © TU Clausthal 2017