Weidner, Daniel

Betreuung studentischer Arbeiten

Betreute Abschlussarbeiten:

• Michael Baumgart, Masterarbeit: Erkennung von Spielertrajektorien und Spielstand beim Tennis (2019)
• Florian Pircher, Bachelorarbeit: Eine DSL für Heizungssysteme (2020)
• Fatih Kesikli, Bachelorarbeit: Extraction and prprocessing of heating systems data for declarative data mining (2020)
• Moritz Hering, Bachelorarbeit: Verbale Prolog-Anfragen mit Mycroft und DeepSpeech (2020)
• Julian Scholz, Zulassungsarbeit: Eine Schnittstelle zwischen mongoDB und Declare (2021)
• Moritz Braun, Bachelorarbeit: Analyse eines Tools zur Erkennung von Spielfeldern, Spielern und Balltrajektorien aus Tennisvideos (2021/2022)
• Sophie Scholz, Bachelorarbeit: Vergleich, Analyse und Entscheidungshilfe bei der Auswertung deklarativer Programme (2022)
• Fabian Mittelstädt, Masterarbeit: Assoziationsregeln zur Bestimmung von Anomalien in komplexen Systemen (2022/2023)
• Kairatbek Muratov, Bachelorarbeit: Multi-paradigm programming with Prolog: A web application for tennis through simulation of web technologies with DCGs (2025)
• Fabrice, Masterarbeit: A new Tennisrecognition Tool (2025-2026)

Betreute Seminararbeiten:

• Mycroft AI - An open source voice assistant (2019-2022)
• Declarative Aspects in Explicative Data Mining (2019)
• Attempto controlled English (ACE) (2020)
• MongoDB (2020-2023)
• NoSQL databases (2020-2023)
• Using Prolog on Android as a Smart M-Learning Tool (2020)
• Cliopatria: A Semantic Web Framework for RDF
  Data Management and SparQL Queryin (2023)
• Pl4XML - A Logical Programming Library for XML Data Management (2023)

Lehrveranstaltungen

Wintersemester 2025/2026

• Übungen zu Logik für Informatiker: WS25_Logik
• Übungen zu DatenbankenWS25_DB

Sommersemester 2025

• Übungen zu Datenbanken 2: SS25_ADB
• Übungen zu Deduktive Datenbanken: SS25_DDB

Wintersemester 2024/2025

• Übungen zu Logik für Informatiker
• Übungen zu Logikprogrammierung

Sommersemester 2024

• Übungen zu Datenbanken 2
• Übungen zu Deduktive Datenbanken

Wintersemester 2023/2024

• Übungen zu Logik für Informatiker
• Übungen zu Datenbanken

Sommersemester 2023

• Seminar Advanced Database and Logic Programming Concept

Wintersemester 2022/2023

• Übungen zu Logik für Informatiker
• Übungen zu Logikprogrammierung

Sommersemester 2022

• Übungen zu Datenbanken 2
• Übungen zu Deduktive Datenbanken
• Seminar Advanced Database and Logic Programming Concepts

Wintersemester 2021/2022

• Übungen zu Logik für Informatiker
• Übungen zu Datenbanken

Sommersemester 2021

• Übungen zu Datenbanken 2
• Übungen zu Deduktive Datenbanken
• Seminar Advanced Database and Logic Programming Concepts

Wintersemester 2020/2021

• Übungen zu Logik für Informatiker
• Übungen zu Logikprogrammierung

Sommersemester 2020

• Übungen zu Datenbanken 2
• Übungen zu Deduktive Datenbanken
• Seminar Advanced Database and Logic Programming Concepts

Wintersemester 2019/2020

• Übungen zu Logik für Informatiker
• Übungen zu Datenbanken