Informatik an der TU Clausthal > Abteilungen > Computational Intelligence > Computational Intelligence > Activities > Evaluator
Evaluator
| Alles | Invited |
Invited (49)
|
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, März 2012, Invited Talk (W1-Professorship) |
|
|
Dix, J: 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: 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) |
© TU Clausthal 2013 · Impressum