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

    Practical Course for Databases and Rule-Based Systems

    10/13/2016

    In the upcoming Winter Term 2016/17, Professor Seipel's research group offers a Master's Practical Course to connect current research topics in the field of Databases and Logic Programming with other, modern technologies.

    By Jürgen Götzke, CC BY-SA 2.5-2.0-1.0 (http://creativecommons.org/licenses/by-sa/2.5-2.0-1.0), via Wikimedia Commons

    The non-graded Practical Course takes place in six months and is compulsory in the Master's study (module 10-I=PRAK, 10 ECTS, 6 SWS). All of the suggested topics contain a part with Prolog. But because of their connection with other technologies and programming languages they are suitable for students with different prior knowledge. Possible topics are:

    • Reasoning about Wagon Positions (Cooperation with DB Reisendeninformation)
    • Continuous Integration for Prolog Programs
    • A Style Linter for Prolog
    • An Interactive Visualisation for Definite Clause Grammars
    • Optimising Definite Clause Grammars
    • Prolog Connector for Python or JavaScript
    • Prolog Interpreter for JavaScript
    • Integrating Bloom into Prolog or JavaScript
    • Declarative XML Schema 1.1 Validation with Prolog

    Most of the topics can also be worked on as a project, Bachelor's or Master's Thesis. Short descriptions of the topics can be found in this overview and in the appropriate WueCampus E-Learning course. A first meeting is on 27th October.

    Back

    Contact

    Universität Würzburg
    Sanderring 2
    97070 Würzburg

    Phone: +49 931 31-0
    Fax: +49 931 31-82600

    Find Contact

    Sanderring Röntgenring Hubland Nord Hubland Süd Campus Medizin