Stellenausschreibung ILTIS

Die Arbeitsgruppe LogiDAC des Lehrstuhls Informatik 1 sucht ab sofort eine Studentische Hilfskraft (SHK/WHF) im Umfang von bis zu 12 Std./Woche.

zur Stellenausschreibung

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!  

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.

zur Stellenausschreibung

Lehrveranstaltungen im Sommersemester 2019

Die Lehrveranstaltungen für das 'Sommersemester 2019 sind ab jetzt online.

zur Übersicht der Lehrveranstaltungen

Lehrveranstaltungen im Wintersemester 2018/2019

Die Lehrveranstaltungen für das 'Wintersemester 2018/2019 sind ab jetzt online.

zur Übersicht der Lehrveranstaltungen

Zwei Artikel aus der Arbeitsgruppe LogiDAC mit weiteren Koautoren in ACM-Zeitschriften erschienen

Der Artikel "Reachability Is in DynFO“ von Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick und Thomas Zeume wurde im Journal of the ACM veröffentlicht (https://dl.acm.org/citation.cfm?id=3212685), der Artikel "Dynamic Complexity under Definable Changes“ von Thomas Schwentick, Nils Vortmeier und Thomas Zeume ist in der Zeitschrift ACM Transactions on Database Systems erschienen (https://dl.acm.org/citation.cfm?id=3241040).

Artikel wurde zur Veröffentlichung akzeptiert

Der Artikel Properties of Skeptical C-Inference for Conditional Knowledge Bases and its Realization as a Constraint Satisfaction Problem
von Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner und Steven Kutsch ist für die Zeitschrift Annals of Mathematics and Artificial
Intelligence (AMAI) akzeptiert worden.

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.

zur Stellenausschreibung

Fellowship für Innovationen in der Digitalen Hochschullehre für Thomas Zeume

Für das Projekt Logik Digital wird Thomas Zeume mit einem Fellowship für Innovationen in der Digitalen Hochschullehre des Landes Nordrhein-Westfalen und des Stifterverbandes gefördert. Ob in Datenbankanfragesprachen, in der Verifikation oder der künstlichen Intelligenz - logische Formalismen sind fester Bestandteil des Berufsalltags von Informatikerinnen und Informatikern. Im Rahmen des Projektes Logik Digital wird ein webbasiertes, interaktives System für die Unterstützung der Logik-Ausbildung von Informatikstudierenden entwickelt.
Zeume
 
Weiterführende Informationen:

Zwei Artikel veröffentlicht

Der Artikel "Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases" von Daan Apeldoorn und Vanessa Volz (Lehrstuhl 11) sowie der Artikel "Comparing Answer Set Programming
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:
Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8080409
 
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

Der Artikel "Rational inference patterns based on conditional logic" von Christian Eichhorn, Gabriele Kern-Isberner und Marco Ragni (Universität Freiburg)
wurde zur Präsentation und Veröffentlichung im Rahmen der zweiunddreißigsten AAAI Konferenz zu Küntlischer Intelligenz (AAAI-18)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.

Award DaanApeldoorn klein

(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.

Lehrveranstaltungen WiSe 17/18