Martin Luther University Halle-Wittenberg

Further settings

Login for editors

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