English Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme (1992 - 2025)

    Weidner, Daniel

    Lehrstuhl für Informatik VI
    Universität Würzburg
    Am Hubland
    D-97074 Würzburg

    Raum B 013

    Tel.: +49 (0) 931-31-88461

    Email: daniel.weidner@uni-wuerzburg.de

    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

    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

    Veröffentlichungen

    2024[ to top ]
    • XML Processing for Ball Trajectories Extracted from Tennis Videos. Weidner, Daniel; Seipel, Dietmar. 2024.
    • Integrated Simulation and Calibration Framework for Heating System Optimization. Djebko, Kirill; Weidner, Daniel; Waleska, Marcel; Krey, Timo; Rausch, Sven; Seipel, Dietmar; Puppe, Frank. In Sensors, 24(3), S. 886. MDPI, 2024.
    • Design and Implementation of a Decision Integration System for Monitoring and Optimizing Heating Systems: Results and Lessons Learned. Djebko, Kirill; Weidner, Daniel; Waleska, Marcel; Krey, Timo; Kamble, Bhaskar; Rausch, Sven; Seipel, Dietmar; Puppe, Frank. In Energies, 17(24), S. 6290. MDPI, 2024.
    2023[ to top ]
    • Post--mining on Association Rule Bases. Seipel, Dietmar; Waleska, Marcel; Weidner, Daniel; Rausch, Sven; Atzmueller, Martin. In European Conference on Artificial Intelligence, S. 23–35. Springer, 2023.
    • An Html5--Based Graphical User Interface and a Transformation for Tennis Data in Xml. Weidner, Daniel; Seipel, Dietmar. 2023.
    2022[ to top ]
    • XML - Processing Using Field Notation Grammars Applied to Tennis Data. Weidner, Daniel; Seipel, Dietmar. 2022.
    2021[ to top ]
    • Interfacing the Declarative Toolkit Declare Using Python and Docker. Weidner, Daniel; Waleska, Marcel; Seipel, Dietmar. 2021.
    • Intelligent query answering with contextual knowledge for relational databases. Seipel, Dietmar; Weidner, Daniel; Abreu, Salvador. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). 2021.
    2020[ to top ]
    • A Graphical User Interface for Demonstrating Features of the Deductive Database System DDBase in Python. Weidner, Daniel; Seipel, Dietmar. 2020.
    2019[ to top ]
    • Finding Maximal Non-redundant Association Rules in Tennis Data. Weidner, Daniel; Atzmueller, Martin; Seipel, Dietmar. D. eidner, M. Atzmueller, D. Seipel (Hrsg.). 2019.
    2018[ to top ]
    • PyPlC - Towards a Prolog Database Connectivity for Python. Bodenlos, Stefan; Weidner, Daniel; Seipel, Dietmar. In Deklarative Ansätze zur Künstlichen Intelligenz - punktuelle Beiträge. 2018.