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.
[ more ... ]
Explorative Data Analytics
Data Mining, Topic Models, Clustering, Text Mining, Visual Analytics, Information Retrieval, Information Visualization
[ more ... ]
Research Projects
Logic Programming, TopicExplorer
[ more ... ]
Up
