Weidner, Daniel

Chair of Computer Science VI
University Würzburg
Am Hubland
D-97074 Würzburg
Room B 013
Phone.: +49 (0) 931-31-88461
Supervised Thesis
Supervised Thesis:
- 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)
Supervised Seminar Papers:
- Mycroft AI - An open source voice assistant (2019-2022)
- Declarative Aspects in Explicative Data Mining (2019)
- Attempto controlled English (ACE) (2020)
- MongoDB (2020-2022)
- NoSQL databases (2020-2022)
- Using Prolog on Android as a Smart M-Learning Tool (2020)
Courses
Winterterm2022/2023
- Exercises Logik für Informatiker: WS22_Logik (Organizer)
- Exercises Logic Programming WS22_LP
Sommersemester 2022
- Exercises Advanced Datenbanken: SS22_ADB (Organizer)
- Exercises Deductive Databases: SS22_DDB
- Seminar Advanced Database and Logic Programming Concepts: SS22_Seminar_ADB-LP
Winterterm 2021/2022
- Exercises Logik für Informatiker: WS21_Logik (Organizer)
- Exercises Databases: WS21_DB
Sommersemester 2021
- Exercises zu Advanced Databases: SS21_ADB
- Exercises zu Deductive Databases: SS21_DDB
- Seminar Advanced Database and Logic Programming Concepts: SS21_Seminar_ADB-LP
Winterterm 2020/2021
- Exercises Logik für Informatiker: WS20_Logik
- Exercises Logic Programming WS20_LP
Sommersemester 2020
- Exercises zu Advanced Datenbanken: SS20_ADB
- Exercises Deductive Databases: SS20_DDB
- Seminar Advanced Database and Logic Programming Concepts: SS20_Seminar_ADB-LP
Winterterm 2019/2020
- Exercises Logik für Informatiker: WS19_Logik
- Exercises Databases: WS19_DB