Stephan Mennicke

Technische Universität Dresden

H-index: 8

Europe-Germany

About Stephan Mennicke

Stephan Mennicke, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at Technische Universität Dresden, specializes in the field of formal methods, database theory, query languages, theory of computation.

His recent articles reflect a diverse array of research interests and contributions to the field:

Efficient Dependency Analysis for Existential Rules

Check for updates

Notation3 as an existential rule language

Abstract Domains for Database Manipulating Processes

Efficient dependency analysis for rule-based ontologies

An existential rule framework for computing why-provenance on-demand for datalog

Answering queries with negation over existential rules

Context-compatible information fusion for scientific knowledge graphs

Stephan Mennicke Information

University	Technische Universität Dresden
Position	Knowledge-based Systems Group
Citations(all)	257
Citations(since 2020)	182
Cited By	155
hIndex(all)	8
hIndex(since 2020)	6
i10Index(all)	6
i10Index(since 2020)	4
Email	Access Email
University Profile Page	Technische Universität Dresden
Google Scholar	View Google Scholar Profile

Stephan Mennicke Skills & Research Interests

formal methods

database theory

query languages

theory of computation

Top articles of Stephan Mennicke

Title	Journal	Author(s)	Publication Date
Efficient Dependency Analysis for Existential Rules		Larry González Alex Ivliev Markus Krötzsch Stephan Mennicke	2023
Check for updates	Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers	Segmentation Framework via Optimal Mass Transportation Pre-processing Jia-Wei Liao¹ Tsung-Ming Huang Tiexiang Li ...	2023/7/17
Notation3 as an existential rule language		Dörthe Arndt Stephan Mennicke	2023/9/18
Abstract Domains for Database Manipulating Processes		Tobias Schüler Stephan Mennicke Malte Lochau	2023/9/18
Efficient dependency analysis for rule-based ontologies		Larry González Alex Ivliev Markus Krötzsch Stephan Mennicke	2022/10/16
An existential rule framework for computing why-provenance on-demand for datalog		Ali Elhalawati Markus Krötzsch Stephan Mennicke	2022/9/26
Answering queries with negation over existential rules	Proceedings of the AAAI Conference on Artificial Intelligence	Stefan Ellmauthaler Markus Krötzsch Stephan Mennicke	2022/6/28
Context-compatible information fusion for scientific knowledge graphs		Hermann Kroll Jan-Christoph Kalo Denis Nagel Stephan Mennicke Wolf-Tilo Balke	2020
Non-Standard Semantics for Graph Query Languages		Stephan Mennicke	2020
Detecting Synonymous Properties by Shared Data-Driven Definitions		Jan-Christoph Kalo Stephan Mennicke Philipp Ehler Wolf-Tilo Balke	2020/6
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers		Till Affeldt Stephan Mennicke Wolf-Tilo Balke	2020/7/6