piwik-script

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

    Talks in September

    09/08/2018

    In September, the research group for knowledge-based systems of Prof. Seipel takes part in three conferences to present its work.

    On September 3-6 the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP'18) took place in Frankfurt. Falco Nogatz presented the System Description "Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters" (Falco Nogatz, Jona Kalkus, Dietmar Seipel).

    On September 14, the annual Workshop on Logic Programming (WLP) takes places in Berlin. There, the paper "PyPlC - Towards a Prolog Database Connectivity for Python" (Stefan Bodenlos, Daniel Weidner, Dietmar Seipel) is presented.

    On September 17-21, the research group on knowledge-based systems is represented at the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR'18) in Luxemburg by Falco Nogatz, who talks about the paper "CHR.js: A CHR Implementation in JavaScript" (Falco Nogatz, Thom Frühwirth, Dietmar Seipel). The work was awarded a student travel grant by RuleML.

    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