34. Mini-Workshop am 27.05.2019
Am Montag, dem 27. Mai 2019, ab 16:15 Uhr findet im Raum OH12-3.031 der 34. Mini-Workshop für theoretische Informatik statt.
Stellenausschreibung ILTIS
Die Arbeitsgruppe LogiDAC des Lehrstuhls Informatik 1 sucht ab sofort eine Studentische Hilfskraft (SHK/WHF) im Umfang von bis zu 17 Std./Woche.
Lehrveranstaltungen im Sommersemester 2019
Die Lehrveranstaltungen für das 'Sommersemester 2019 sind ab jetzt online.
Lehrveranstaltungen im Wintersemester 2018/2019
Die Lehrveranstaltungen für das 'Wintersemester 2018/2019 sind ab jetzt online.
Zwei Artikel aus der Arbeitsgruppe LogiDAC mit weiteren Koautoren in ACM-Zeitschriften erschienen
Artikel wurde zur Veröffentlichung akzeptiert
Stellenausschreibung GTI
Die Arbeitsgruppe LogiDAC des Lehrstuhls Informatik 1 sucht ab dem 01.04.2018 eine Studentische Hilfskraft (SHK/WHF) im Umfang von bis zu 17 Std./Woche.
Fellowship für Innovationen in der Digitalen Hochschullehre für Thomas Zeume
Zwei Artikel veröffentlicht
and Hierarchical Knowledge Bases Regarding Comprehensibility and Reasoning Efficiency in the Context of Agents" von Corinna Krüger, Daan Apeldoorn und Gabriele Kern-Isberner wurden veröffentlicht.
Links zu den Artikeln:
Comparing Answer Set Programming and Hierarchical Knowledge Bases Regarding Comprehensibility and Reasoning Efficiency in the Context of Agents:
Artikel wurde zur Präsentation und Veröffentlichung akzeptiert
Award Forum Junge Spitzenforscher 2. Platz für Daan Apeldoorn
Das Centrum für Entrepreneurship & Transfer verlieh in Kooperation mit der Stiftung Industrieforschung am 20.11.2017 den Award Forum Junge Spitzenforscher.
Daan Apeldoorn konnte mit dem Thema „Ein Modellierungs- und Simulationssystem für Logistikszenarien auf Basis von Multiagentenmodellen“ den 2. Platz erreichen.
(Foto: Waldemar Wagner)
Link: http://www.cet.tu-dortmund.de/cms/de/Qualifizierung/Awards/Award-Junge-Spitzenforscher/index.html
KI2017 in Dortmund
Frau Prof. Dr. Gabriele Kern-Isberner organisiert dieses Jahr die deutsche Konferenz über künstliche Intelligenz (KI2017). Die KI2017 wird die vierzigste in Kooperation
mit dem Fachbereich Künstliche Intelligenz der Gesellschaft für Informatik ausgerichtete Konferenz ihrer Art sein.
Die Konferenz findet vom 25. bis zu, 29. September 2017 an der TU Dortmund statt. Traditionell bringt die KI an künstlicher Intelligenz Interessierte aus Akademia
wie auch Industrie zusammen und bietet so den idealen Rahmen um Neuigkeiten und Forschungsergebnisse auszutauschen. Zum 40. Jubiläum wird das technische
Programm aus Artikeln und Postern durch eine Podiumsdiskussion zum Thema "Geschichte der KI" ergänzt.
Lehrveranstaltungen im Wintersemester 17/18
Die Lehrveranstaltungen für das Wintersemester 2017/2018 sind ab jetzt online.
Weltmeisterin und Deutsche Meisterin im Sportkegeln
mit ihrer Schwester Maike. Nach 120 spannenden Würfen entschied gerade einmal 1 Holz Vorsprung um die Meisterschaft.
Neuer Artikel "Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents."
Der Artikel "Towards an Understanding of What is Learned: Extracting Multi-Abstraction-Level Knowledge from Learning Agents" von Daan Apeldoorn
und Gabriele Kern-Isberner wurde in den "Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference" (FLAIRS-30) veröffentlicht.
Link zum Paper https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15510/15038