e CIG: PD Dr. rer. nat. habil. Nils Bulling


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

      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  Data Privacy  Imprint
      © TU Clausthal 2019