Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    Paper accepted for WFLP'17


    A paper from authors of our institute has been accepted for the International Workshop on Functional and Logic Programming (WFLP).

    The system description "Declarative XML Schema Validation with SWI-Prolog" of Falco Nogatz, Jona Kalkus, and Dietmar Seipel has its origin in the practical course "Databases and rule-based systems" of the previous winter term. There, a compact XML validator has been implemented (Open Source on GitHub). The work gets presented in September at WFLP as part of the conference Declare'17 in Würzburg.



    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-85054

    Find Contact

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2