Aktuelles
Neues DFG-Projekt „Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und Kinematik“
Die DFG fördert das Projekt "Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und…
Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.
Die Arbeit "SAT-Based PAC learning of Description Logic Concepts" von Maurice Funk (Universität Leipzig), Jean Christoph Jung (TU Dortmund) und…
Neues DFG-Projekt „Foundations of work-efficient constant-time parallel dynamic and static algorithms“
Die DFG fördert das Projekt "Foundations of work-efficient constant-time parallel dynamic and static algorithms" für drei Jahre. In dem Projekt der…
37. Campuslauf der TU Dortmund am 24. Mai 2023
Auch beim diesjährigen Campuslauf der TU Dortmund gingen wieder mehrere wiss. Mitarbeitende und Professoren unseres Lehrstuhls an den Start...
Lehrveranstaltungen im Sommersemester 2023
Die Lehrveranstaltungen für das Sommersemester 2023 sind ab jetzt online.
SchwentickFest
Anlässlich des 60. Geburtstages von Prof. Thomas Schwentick findet am Rande der in Warschau stattfindenden Konferenz Computer Science Logic (CSL 2023)…
Der Lehrstuhl Informatik 1 freut sich über Verstärkung
Seit dem 1.11.2022 ist Prof. Jean Christoph Jung neues Mitglied des Lehrstuhls.
Neues DFG-Projekt "CASPER – Conditionals and ASP for Expert Reasoning"
Die DFG fördert das Projekt "Ein hybrides wissensbasiertes System auf der Basis von Konditionalen und ASP mit interaktiver Modellierungsumgebung und…
