piwik-script

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

    Practical Course for Rule-Based Systems

    10/11/2017

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

    Logo of "Playing with Prolog", https://www.youtube.com/channel/UCfWpIHmy5MEx2p9c_GJrE_g

    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:

    • Alexa, talk Prolog to me!
    • OpenRuleBench Revised
    • XPCE Compatibility for SWISH
    • Distributed Logic Programming on Raspberry Pi's
    • XPath and XQuery in SWI-Prolog
    • Benchmarking CHR Systems
    • Remember your Faults - An Extension to Prolog's Tabling
    • Testing different Prolog Systems using JPGateway
    • Prolog Saved States for Process Duplication
    • Optimising Definite Clause Grammars
    • Prolog Interpreter for JavaScript
    • Interactive SLD Tree Exploration with Leaflet
    • Bisecting Debugger for SWI-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 19th 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. Z8
    Hubland Süd, Geb. M2
    Hubland Süd, Geb. M2