Eventlist About event {at} in {dot} tu {minus} clausthal {dot} de is a distribution list run by Computational Intelligence Group of Department of Informatics, Clausthal University of Technology, Germany
stein @ tu-clausthal . de Academic Staff Paula Böhm, M.Sc. E-Mail: paula.boehm @ tu-clausthal . de Former Members Habilitated Members Dr. Tobias Ahlbrecht E-Mail: tobias.ahlbrecht @ tu-clausthal . de Dr […] Phone: +49 5323 72-7105 E-Mail: leon.kellerhals @ tu-clausthal . de Prof. Dr. Jürgen Dix, Emeritus Office: D5 Phone: +49 5323 72-7181 E-Mail: dix @ tu-clausthal . de Secretary Alexandra Stein Office: Secretariate
Informatik Am Regenbogen 15 38678 Clausthal-Zellerfeld Germany Contact Alexandra Stein Phone: +49 5323 72-7180 Fax: +49 5323 72-7189 E-Mail: alexandra.stein @ tu-clausthal . de Institut for Informatics (Building […] D8 , Internal Building Number: 5360) Am Regenbogen 15 D-38678 Clausthal-Zellerfeld Telefon: +49 5323 72-7140 E-Mail: info @ in.tu-clausthal . de Link to Institute for Informatics
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
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
methods Resource-bounded systems Teaching In the last years I have taught the following courses. TUClausthal Verification of Concurrent Systems (WS 2012/13) Informatics III - Automata Theory and Formal Languages […] 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 […] 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 was
