Stephan Mennicke

From International Center for Computational Logic

Dr. Stephan Mennicke

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems

I'm a postdoctoral researcher at the Knowledge-based Systems group led by Prof. Dr. Markus Krötzsch. I'm interested in knowledge representation, graph databases and their query languages, as well as process modeling and formal methods.

I got my master's degree from TU Braunschweig. In March 2020, I successfully defended my PhD thesis on Non-Standard Semantics of Graph Query Languages. I've worked on Theory of Programming Languages (together with Prof. Ursula Goltz and Prof. Uwe Nestmann) and "Semantics of Graph Pattern Queries" (together with Prof. Wolf-Tilo Balke). Additionally, I contributed some formal methods for software product lines (SPLs).

Newest Publications

View full publication list

Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
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
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5626-5633, June 2022
Details Download
Alex Ivliev, Larry González, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
ISWC 2022, to appear
Details
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
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
Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
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
Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download
Stephan Mennicke
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
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
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
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Using Queries as Schema-Templates for Graph Databases
Datenbank-Spektrum, 18(2):89-98, May 2018
Details
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Technical Report, arXiv.org, volume CoRR abs/1810.09355, October 2018
Details
View full publication list
KIMEDS.jpg

KIMEDS
AI Assisted Certification of Medical Software