piwik-script

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

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    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