piwik-script

Intern
    Lehrstuhl für Informatik I - Algorithmen, Komplexität und wissensbasierte Systeme

    Nogatz, Falco

    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

    Betreute Abschlussarbeiten:

    Betreute Masterpraktika:

    • Simon Hümmer: CHR as a Library with Delimited Control. (2019)
    • Jonathan Vogell: Distributed Logic Programming on Raspberry Pi's. (2019)
    • Lucas Kinne: XPath and XQuery in SWI-Prolog. (2019)
    • Kevin Jonscher: XML Schema Validation using Code Generation. (2019)
    • 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:

    • Achieve Logical Purity with Attributed Variables. (2019)
    • OpenRuleBench Revised. (2019)
    • An Introduction to Attempto Controlled English. (2018, 2019)
    • LogicBlox - A Prolog Success-Story. (2018)
    • Attributed Variables in Prolog. (2018)
    • An Introduction to Constraint Handling Rules. (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 2019:
      Best Paper award at the 8th Symposium on Languages, Applications, Technologies (SLATE). For »Definite Clause Grammars with Parse Trees: Extension for Prolog« (Nogatz, Seipel, Abreu).
    • September 2018:
      RuleML+RR Full Student Grant, Luxembourg
    • Juli 2018:
      FLoC Student Grant, Oxford, UK
    • Juni 2018:
      Auszeichnung mit dem Goldenen Binärbaum für gute Lehre durch das Institut für Informatik, Universität Würzburg
    • Dezember 2016:
      Publikumspreis beim DB Hackathon, Projekt "Preisvorsprung"
    • 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

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

    2019 [ nach oben ]

    • Prolog Coding Guidelines:... - Download
      Nogatz, F., Körner, P., Krings, S.: Prolog Coding Guidelines: Status and Tool Support. In: Technical Communications of the 35th International Conference on Logic Programming (ICLP) (2019).
      (to appear)
       
    • Alexa, How Can I Reason w... - Download
      Nogatz, F., Kübert, J., Seipel, D., Abreu, S.: Alexa, How Can I Reason with Prolog? In: Proceedings of 8th Symposium on Languages, Applications, Technologies (SLATE). pp. 17:1-17:9 (2019).
       
    • Definite Clause Grammars ... - Download
      Nogatz, F., Seipel, D., Abreu, S.: Definite Clause Grammars with Parse Trees: Extension for Prolog. In: Proceedings of 8th Symposium on Languages, Applications, Technologies (SLATE). pp. 7:1-7:14 (2019).
       

    2018 [ nach oben ]

    • 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).
       
    • Declarative XML Schema Va... - Download
      Nogatz, F., Kalkus, J.: Declarative XML Schema Validation with SWI-Prolog. In: Seipel, D., Hanus, M., and Abreu, S. (eds.) Declarative Programming and Knowledge Management. pp. 187-197 (2018).
       
    • 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 [ nach oben ]

    • 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 [ nach oben ]

    • 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 [ nach oben ]

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

    2014 [ nach oben ]

    • 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 [ nach oben ]

    • 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

    2019

    • WLP: 33rd Workshop on (Constraint) Logic Programming
    • INAP*: 22nd International Conference on Applications of Declarative Programming and Knowledge Management

    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.