CIG @IJCAI
General Chair (together with Georg Gottlob)
Dr. Nils Bulling presents two posters and gives a talk: Alternating Epistemic Mu-Calculus (with Wojtek Jamroga), Comparing Variants of Strategic Ability (with Wojtek Jamroga) and
Verification and Implementation of Normative Behaviours in Multi-Agent Systems (with Mehdi Dastani).
Prof. Dix acts as german representative in the Cost action on Agreement Technologies (meeting from 14-15 July). He also gives an invited talk at the Nonmonotonic Reasoning, Action and Change (NRAC) Workshop at IJCAI 2011, and is panelist in a Panel on the future of NRAC. He is also General Chair (together with Georg Gottlob) of the RULE-ML Conference from 19-22 July.