Emeritus Jürgen Dix over the years as part of the Computational Intelligence Group. Teaching at TUClausthal Summer term 2024 Logic and Verification (BSc) Proseminar (BSc) Winter term 2023/24 Informatik
started by the Niedersächsische Technische Hochschule (NTH) (a joint venture of the TU Braunschweig, LU Hannover and TUClausthal) and the NTH Focused Research School for IT Ecosystems. I present the results […] be served by scenarios from "IT Ecosystems", a big project which is currently being finished in Clausthal, Braunschweig and Hannover. Duration since 03/2013 Funding 432,400 Euros for 24 months financed
finishes his doctorate! 2023 Paula is awarded for her master thesis by the Verein von Freunden der TUClausthal . The book about the Multi-Agent Programming Contest 2022 is released. 2022 Tabajara finishes […] University , Cyprus. 2004 Jürgen Dix and Barbara Hammer become professor for Computer Science at Clausthal University of Technology. 2-7 Sept 2004: Jürgen Dix is visiting Helsinki University of Technology
Formalizations of Commonsense Reasoning, Technical Report Series, pages 213–219, Corfu, Greece, 2005. TU Dresden. [3] T. Behrens, M. Dastani, J. Dix, J. Hübner, M. Köster, P. Novák, and F. Schlesinger. The […] [36] Juan Carlos Acosta Guadarrama. Update operation in asp revisited. Technical Report IfI-0812, Clausthal University of Technology, December 2008. [37] Koen Hindriks and Jürgen Dix. Goal: A multi-agent