piwik-script

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

    Falco Nogatz, M.Sc.

    Lehrstuhl für Informatik I
    Universität Würzburg
    Am Hubland
    D-97074 Würzburg

    Raum E32

    Tel.: +49 (0) 931-31-80801
    Fax: +49 (0) 931-31-825200

    Email:

    Lehrveranstaltungen

    • Übungen zu Deduktive Datenbanken:
      SS18 | SS17 | SS16
    • Übungen zu Logikprogrammierung:
      WS18
    • Übungen zu Datenbanken:
      WS17 | WS16
    • Übungen zu Logik für Informatiker:
      WS18 | WS17 | WS16 | WS15
    • Praktikum Datenbanken und Regelbasierte Systeme:
      WS18 | WS17 | WS16
    • Seminar Advanced Database and Logic Programming Concepts:
      SS19 | SS18 | SS17 | SS16

    Betreuung studentischer Arbeiten

    Gerne übernehme ich auch die Betreuung von Bachelor- und Masterarbeiten sowie Masterpraktika. Aktuelle Themen finden sich auf der entsprechenden Unterseite, eigene Themen sind in Absprache möglich.

    Betreute Abschlussarbeiten:

    Betreute Masterpraktika:

    • Lukas Leppich: Implementation of the Language Server Protocol for SWI-Prolog. (2017)
    • Jona Kalkus: XML Schema Validation with Prolog. (2017)
    • Daniel Haumann: A Style Linter for Prolog. (2017)
    • Sven Rausch: Evaluation of MySQL Cluster Architectures for Big Data. (2016)

    Betreute Seminararbeiten:

    • LogicBlox - A Prolog Success-Story. (2018)
    • Attributed Variables in Prolog. (2018)
    • An Introduction to Constraint Handling Rules. (2018)
    • An Introduction to Attempto Controlled English. (2018)
    • From GROUP BY to MapReduce - Database Aggregations using the example of MongoDB. (2017)
    • Delimited Continuations in Prolog. (2017)
    • Make Prolog Logical Again - Tabled Execution in SWI-Prolog. (2017)
    • Ask only once: PostgreSQL's Window Functions. (2016)
    • MySQL Cluster Architecture Overview. (2016)

    Werdegang

    • Juni 2018:
      Auszeichnung mit dem Goldenen Binärbaum für gute Lehre durch das Institut für Informatik, Universität Würzburg
    • seit Oktober 2015:
      Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik I, Universität Würzburg
    • 2010 – 2015:
      Studium der Informatik an der Universität Ulm

    Veröffentlichungen

    [ 2018 ] [ 2017 ] [ 2016 ] [ 2015 ] [ 2014 ] [ 2013 ]

    2018 [ to top ]

    • Web-based Visualisation f... - Download
      Nogatz, F., Kalkus, J., Seipel, D.: Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters: System Description. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (2018).
       
    • CHR.js: A CHR Implementat... - Download
      Nogatz, F., Frühwirth, T., Seipel, D.: CHR.js: A CHR Implementation in JavaScript. In: Rules and Reasoning. pp. 131-146. Springer (2018).
       
    • Nogatz, F., Kalkus, J.: Declarative XML Schema Validation with SWI-Prolog. In: Proceedings of the 25th Workshop on Functional and Logic Programming (WFLP 2017) (2018).
      (to appear)
       
    • Domain-specific languages... - Download
      Seipel, D., Nogatz, F., Abreu, S.: Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. Computer Languages, Systems & Structures. 51C, 102-117 (2018).
       

    2017 [ to top ]

    • Prolog for Expert Knowled... - Download
      Seipel, D., Nogatz, F., Abreu, S.: Prolog for Expert Knowledge Using Domain-Specific and Controlled Natural Languages. In: Proceedings of 8th Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC). pp. 138-140 (2017).
       

    2016 [ to top ]

    • Implementing GraphQL as a... - Download
      Nogatz, F., Seipel, D.: Implementing GraphQL as a Query Language for Deductive Databases in SWI–Prolog Using DCGs, Quasi Quotations, and Dicts. In: Proceedings of the 30th Workshop on (Constraint) Logic Programming (WLP 2016) (2016).
       
    • Declarative Rules for Ann... - Download
      Seipel, D., von der Weth, R., Abreu, S., Nogatz, F., Werner, A.: Declarative Rules for Annotated Expert Knowledge in Change Management. In: Proceedings of 5th Symposium on Languages, Applications, Technologies (SLATE 2016) (2016).
       
    • Modellierung von Handlung... - Download
      von der Weth, R., Seipel, D., Nogatz, F., Schubach, K., Werner, A., Wortha, F.: Modellierung von Handlungswissen aus fragmentiertem und heterogenem Rohdatenmaterial durch inkrementelle Verfeinerung in einem Regelbanksystem. Psychologie des Alltagshandelns. 9, 33-48 (2016).
       

    2015 [ to top ]

    • CHR.js: Compiling Constra... - Download
      Nogatz, F.: CHR.js: Compiling Constraint Handling Rules to JavaScript. Master Thesis, University of Ulm, Germany (2015).
       

    2014 [ to top ]

    • From XML Schema to JSON S... - Download
      Nogatz, F., Frühwirth, T.: From XML Schema to JSON Schema: Translation with CHR. In: Proceedings of the 11th International Workshop on Constraint Handling Rules (2014).
       

    2013 [ to top ]

    • From XML Schema to JSON S... - Download
      Nogatz, F.: From XML Schema to JSON Schema - Comparison and Translation with Constraint Handling Rules. Bachelor Thesis, University of Ulm, Germany (2013).
       

    Reviewing

    2018

    • WFLP*: 26th International Workshop on Functional and Logic Programming
    • ICLP*: 34th International Conference on Logic Programming
    • COMLAN*: International Journal of Computer Languages, Systems and Structures
    • Declare'17*: Proceedings of the Declare'17 Conference

    2017

    • INAP*: 21st International Conference on Applications of Declarative Programming and Knowledge Management
    • WFLP*: 25th International Workshop on Functional and Logic Programming
    • PPDP*: 19th International Symposium on Principles and Practice of Declarative Programming
    • ICLP*: 33rd International Conference on Logic Programming
    • SLATE*: Symposium on Languages, Applications and Technologies
    • COMLAN*: International Journal of Computer Languages, Systems and Structures

    2016

    • IJA*: International Journal of Approximate Reasoning
    • WLP*: 30th Workshop on (Constraint) Logic Programming
    • SLATE*: Symposium on Languages, Applications and Technologies

    * Reviews done as sub-reviewer.

    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