Forschung
Logik und Datenbanken
Einer der Forschungsschwerpunkte der Gruppe ist der Bereich "Logik und Datenbanken". Wir beschäftigen uns mit deduktiven Datenbanken, logischer Programmierung, logik-basierter Wissensrepräsentation, nichtmonotonem Schließen, automatischem Beweisen und der Erkennung von logischen Fehlern in SQL-Anfragen.Ein besonderes Anliegen ist dabei, deduktive Datenbanken praktisch nutzbar zu machen, sowohl durch Entwicklung effizienter Anfrage-Auswertungsalgorithmen, als auch durch anwendungsorientierte Spracherweiterungen.
[ mehr ... ]
Explorative Datenanalyse
Data Mining, Topic Models, Clustering, Text Mining, Visual Analytics, Information Retrieval, Information Visualization
[ mehr ... ]
Forschungsprojekte
Logische Programmierung, TopicExplorer
[ mehr ... ]
Zum Seitenanfang
