Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert.
Der Artikel „Conditional Descriptor Revision and its Implementation by a CSP“ von Jonas Haldimann (FernUniversität in Hagen), Kai Sauerwald (FernUniversität in Hagen), Martin von Berg (FernUniversität in Hagen) , Gabriele Kern-Isberner und Christoph Beierle (FernUniversität in Hagen) wurde zur Präsentation und Veröffentlichung im Rahmen der 17. European Conference on Logics in Artificial Intelligence 2021 (https://jelia2021.aau.at/) akzeptiert.
Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert
Der Artikel „Tractable Reasoning using Logic Programs with Intensional Concepts“ von Jesse Heyninck, Ricardo Gonçalves (Universidade NOVA de Lisboa), Matthias Knorr (Universidade NOVA de Lisboa) und João Leite (Universidade NOVA de Lisboa) wurde zur Präsentation und Veröffentlichung im Rahmen der 17. European Conference on Logics in Artificial Intelligence 2021 (https://jelia2021.aau.at/) akzeptiert.
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert
Der Artikel „Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies“ von Jonas Haldimann (FernUniversität in Hagen), Christoph Beierle (FernUniversität in Hagen) und Gabriele Kern-Isberner wurde zur Präsentation und Veröffentlichung im Rahmen der 17. European Conference on Logics in Artificial Intelligence 2021 (https://jelia2021.aau.at/) akzeptiert.
Lehrveranstaltungen im Sommersemester 2021
Die Lehrveranstaltungen für das Sommersemester 2021 sind ab jetzt online.
Lehrveranstaltungen im Wintersemester 2020/2021
Die Lehrveranstaltungen für das Wintersemester 2020/2021 sind ab jetzt online.
Artikel wurde zur Präsentation akzeptiert
Der Artikel „Generalized Ranking Kinematics for Iterated Belief Revision“ (https://aaai.org/ocs/index.php/FLAIRS/FLAIRS20/paper/view/18504/17657) von Meliha Sezgin und Gabriele Kern-Isberner wurde zur Präsentation und Veröffentlichung im Rahmen der 33. FLAIRS Konferenz 2020 (https://www.flairs-33.info/) akzeptiert. Das Paper wurde für den Best Student Paper-Award nominiert.
Lehrveranstaltungen im Sommersemester 2020
Die Lehrveranstaltungen für das Sommersemester 2020 sind ab jetzt online.
35. Mini-Workshop am 27.01.2020
Am Montag, dem 27. Januar 2020, ab 16:15 Uhr findet im Raum OH12-3.031 der 35. Mini-Workshop für theoretische Informatik statt.
35. Campuslauf der TU Dortmund am 22. Mai 2019 27.05.2019
Auch beim diesjährigen Campuslauf der TU Dortmund gingen wieder mehrere wiss. MitarbeiterINNEN unseres Lehrstuhls erfolgreich an den Start. Meliha Sezgin belegte beim 10km Lauf der Frauen einen hervorragenden 3. Platz (00:51:50)! Beim 10km Lauf der Männer belegte Jonas Schmidt den 39. Platz, gefolgt von Nils Vortmeier auf dem 47. Platz! Der Lehrstuhl gratuliert herzlich zum sportlichen Erfolg!
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
