English Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme

    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)

    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)

    Lehrveranstaltungen

    Wintersemester 2022/2023

    • Übungen zu Logik für Informatiker: WS22_Logik (Organisator)
    • Übungen zu Logikprogrammierung WS22_LP

    Sommersemester 2022

    Wintersemester 2021/2022

    • Übungen zu Logik für Informatiker: WS21_Logik (Organisator)
    • Übungen zu Datenbanken: WS21_DB

    Sommersemester 2021

    • Übungen zu Datenbanken 2: SS21_ADB
    • Übungen zu Deduktive Datenbanken: SS21_DDB
    • Seminar Advanced Database and Logic Programming Concepts: SS21_Seminar_ADB-LP

    Wintersemester 2020/2021

    • Übungen zu Logik für Informatiker: WS20_Logik
    • Übungen zu Logikprogrammierung WS20_LP

    Sommersemester 2020

    • Übungen zu Datenbanken 2: SS20_ADB
    • Übungen zu Deduktive Datenbanken: SS20_DDB
    • Seminar Advanced Database and Logic Programming Concepts: SS20_Seminar_ADB-LP

    Wintersemester 2019/2020

    • Übungen zu Logik für Informatiker: WS19_Logik
    • Übungen zu Datenbanken: WS19_DB

    Veröffentlichungen

    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.