Martin-Luther-Universität Halle-Wittenberg

Weiteres

Login für Redakteure

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