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

Nogatz, Falco

Falco Nogatz, M.Sc.

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[ to top ]
  • Alexa, How Can I Reason w...
    1.
    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 ...
    1.
    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).
  • Prolog Coding Guidelines:...
    1.
    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)
2018[ to top ]
  • CHR.js: A CHR Implementat...
    1.
    Nogatz, F., Frühwirth, T., Seipel, D.: CHR.js: A CHR Implementation in JavaScript. In: Rules and Reasoning. pp. 131–146. Springer (2018).
  • Web-based Visualisation f...
    1.
    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).
  • Domain-specific languages...
    1.
    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).
  • Declarative XML Schema Va...
    1.
    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).
2017[ to top ]
  • Prolog for Expert Knowled...
    1.
    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 ]
  • Modellierung von Handlung...
    1.
    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).
  • Implementing GraphQL as a...
    1.
    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...
    1.
    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).
2015[ to top ]
  • CHR.js: Compiling Constra...
    1.
    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...
    1.
    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...
    1.
    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.