Weidner, Daniel
Chair VI
University of Würzburg
Am Hubland
D-97074 Würzburg
Room: E32
Tel.: +49 (0) 931-31-88461
Supervised
Supervised Theses
- Michael Baumgart, Masterthesis: Erkennung von Spielertrajektorien und Spielstand beim Tennis (2019)
- Florian Pircher, Bachelorthesis: Eine DSL für Heizungssysteme (2020)
- Fatih Kesikli, Bachelorthesis: Extraction and prprocessing of heating systems data for declarative data mining (2020)
- Moritz Hering, Bachelorthesis: Verbale Prolog-Anfragen mit Mycroft und DeepSpeech (2020)
Supervised Seminar papers:
- Mycroft AI - An open source voice assistant (2019)
- Declarative Aspects in Explicative Data Mining (2019)
- Attempto controlled English (ACE) (2020)
- Open-source Voice Assistant Mycroft (2020)
- MongoDB (2020)
- NoSQL databases (2020)
- Using Prolog on Android as a Smart M-Learning Tool (2020)
Courses
Winterterm 2020/2021
- Exercises for Logic for Computer Scientists: WS19_Logik
- Exercises for Logic programming: WS20_LP
Summerterm 2020
- Exercises for Advanced Databases: SS20_ADB
- Exercises for Deductive Databases: SS20_DDB
- Seminar Advanced Database and Logic Programming Concepts: SS20_Seminar_ADB-LP
Winterterm 2019/2020
- Exercises for Logic for Computer Scientists: WS19_Logik
- Exercises for Databases: WS19_DB
