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
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.
