e CIG: Evaluator


Evaluator

All | Invited 


  tip
 

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, March 2012, Invited Talk (W1-Professorship)

Dix, Jürgen: 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)

Results 1 - 10 of 49

<<

<

1

2

3

4

5

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017