Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme

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

    Schedule

    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