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

    Paper accepted for WFLP'17

    08/04/2017

    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.

    Back

    Contact

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

    Phone: +49 931 31-85054
    Email

    Find Contact

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