Stephan Mennicke
Dr. Stephan Mennicke
Wissenschaftlicher Mitarbeiter Wissensbasierte Systeme
- Stephan.Mennicke@tu-dresden.de
- Chat (Matrix ): @stme795c:tu-dresden.de
- +49 351 463 38043
- APB 3010
Ich bin Postdoktorand in der Gruppe Wissensbasierte Systeme von Prof. Dr. Markus Krötzsch. Ich interessiere mich für Wissensrepräsentation, Graphdatenbanken und deren Anfragesprachen sowie Prozessmodellierung und formale Methoden.
Meinen Masterabschluss habe ich von der TU Braunschweig. Im März 2020 habe ich meine Dissertation über Nichtstandardsemantiken von Graphanfragesprachen erfolgreich verteidigt. Ich habe sowohl über Theorie der Programmiersprachen (mit Prof. Ursula Goltz und Prof. Uwe Nestmann) als auch über Semantiken von Graph-Pattern-Anfragen (mit Prof. Wolf-Tilo Balke) geforscht. Außerdem habe ich in der Vergangenheit an verschiedenen formalen Methoden für Software-Produktlinien (SPLs) gearbeitet.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
Details Download
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download
Answering Queries with Negation over Existential Rules
Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5626-5633, June 2022
Details Download
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, July 2020
Details Download
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., 360-375, June 2020. Springer
Details Download
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer
Details
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE
Details
Using Queries as Schema-Templates for Graph Databases
Datenbank-Spektrum, 18(2):89-98, May 2018
Details
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Technical Report, arXiv.org, volume CoRR abs/1810.09355, October 2018
Details
Lehrveranstaltungen
- Concurrency Theory (SS 2023)
- Theorem Proving with LEAN (WS 2022)
- Complexity Theory (WS 2022)
- Models of Concurrent Systems (SS 2022)
- Complexity Theory (WS 2021)
weitere Lehrveranstaltungen anzeigen