Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme

    WLP 2024 - 38th Workshop on (Constraint) Logic Programming at KI 2024 (Würzburg)

    Schedule

    Monday, 23.09.2024, 19:00

    Inofficial warm up meeting at the restaurant Alter Kranen (200m north of the Alte Mainbrücke)

    Tuesday, 24.09.2024

    All sessions are located in Seminar room II in the computer science building (M2) 

    09:00 - 09:30 Welcome and Opening

    Session WLP-1: 09:30 - 10:30

    • Philipp Koerner: Christoph Ludolf and Michael Leuschel: Runtime Evaluation of Prolog Data Structures
    • Felix Weitkämper: BoostRLR: The Beauty of Prolog for Statistical Relational Learning

    10:30 - 11:00 Coffee Break

    Session WLP-2: 11:00 - 12:30

    • Mario Wenzel: Pymicrolog - Interactive Logic Programming in Python
    • Daniel Weidner and Dietmar Seipel: XML Processing for Ball Trajectories Extracted from Tennis Videos
    • Philipp Koerner: Bi-Directional DSL Transformation Using miniKanren

    12:30 - 14:00 Lunch Break

    Session WLP-3: 14:00 - 14:30

    • Michael Hanus: Can Logic Programming Be Liberated from Predicates and Backtracking?

    14:45 - 15:30  GLP-Meeting

    15:30 - 16:00 Coffee Break

    16:00 - 16:30 FG Declarative Programming