Detailseite
Institution
Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik
Adresse
Otto-Hahn-Straße 16
44227 Dortmund
Deutschland
44227 Dortmund
- Sachbeihilfen
- laufende Projekte
- Plausibles Schlussfolgern und plausible Wissensrevision in der KI entlang zweier Dimensionen: Syntax Splitting und Kinematik(Antragstellerinnen / Antragsteller Beierle, Christoph ; Kern-Isberner, Gabriele )
- abgeschlossene Projekte
-
- Konditionales Argumentatives Schlussfolgern(Antragstellerinnen / Antragsteller Kern-Isberner, Gabriele ; Thimm, Matthias )
-
Logikbasierte probabilistiche Wissensrepräsentation für relationales Lernen, Modellieren und Inferieren(Antragstellerinnen / Antragsteller Beierle, Christoph ; Kern-Isberner, Gabriele )
-
-
- laufende Projekte
- Sonderforschungsbereiche
- abgeschlossene Projekte
- Austausch und Fusion von Information unter Verfügbarkeits- und Vertraulichkeitsanforderungen in Multiagentensystemen(Teilprojektleiterinnen / Teilprojektleiter Biskup, Joachim ; Kern-Isberner, Gabriele )
-
-
- abgeschlossene Projekte
- Schwerpunktprogramme
- Forschungsgruppen
