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:
- Ina Goeßmann, Zulassungsarbeit: Entwurf und Diskussion eines Style Linters für Prolog. (2019)
- Olga Frost, Bachelorarbeit: A Knowledge-based Software System for Time and Human Resource Management in Prolog. (2019)
- Julia Kübert, Bachelorarbeit: Attempto Controlled English für Amazon Alexa. (2018)
- Sandra Lederer, Masterarbeit: Analyse und Optimierung verschiedener Algorithmen zur Synchronisation von SQL-Datenbanken. (2018)
- Jona Kalkus, Masterarbeit: An Interactive Visualisation for Definite Clause Grammars. (2017)
- Thomas Handwerker, Masterarbeit: Testing Source Code with the Logic Programming Language Prolog. (2016)
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 with Prolog?. In: Proceedings of 8th Symposium on Languages, Applications, Technologies (SLATE). pp. 17:1–17:9 (2019).
-
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: 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 Implementation in JavaScript. In: Rules and Reasoning. pp. 131–146. Springer (2018).
-
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 in Prolog for declarative expert knowledge in rules and ontologies. Computer Languages, Systems & Structures. 51C, 102–117 (2018).
-
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 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 Handlungswissen aus fragmentiertem und heterogenem Rohdatenmaterial durch inkrementelle Verfeinerung in einem Regelbanksystem. Psychologie des Alltagshandelns. 9, 33–48 (2016).
-
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 Annotated Expert Knowledge in Change Management. In: Proceedings of 5th Symposium on Languages, Applications, Technologies (SLATE 2016) (2016).
2015[ to top ]
-
CHR.js: Compiling Constraint Handling Rules to JavaScript. Master Thesis, University of Ulm, Germany (2015).
2014[ to top ]
-
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 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.