Markus Krötzsch

Full Professor, Faculty of Computer Science, Technische Universität Dresden

Joined

July 2019

Names

Markus Krötzsch (Preferred)

,

Markus Kroetzsch

,

Markus Krotzsch

Emails

****@tu-dresden.de (Confirmed)

Personal Links

Career & Education History

Full Professor

Faculty of Computer Science, Technische Universität Dresden (tu-dresden.de)

2016 – Present

Advisors, Relations & Conflicts

PhD Advisor

2005 – 2010

PhD Advisor

2005 – 2010

Expertise

No areas of expertise listed

Publications

Chase Termination Beyond Polynomial Time
Philipp Hanisch, Markus Krötzsch
- CoRR 2024
- Readers: Everyone
Efficient Dependency Analysis for Existential Rules (short paper)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
- AMW 2023
- Readers: Everyone
Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
- ICLP 2023
- Readers: Everyone
Wikidata: The Making Of
Denny Vrandecic, Lydia Pintscher, Markus Krötzsch
- WWW (Companion Volume) 2023
- Readers: Everyone
Efficient Dependency Analysis for Rule-Based Ontologies
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
- ISWC 2022
- Readers: Everyone
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
- TACAS (1) 2022
- Readers: Everyone
Chasing Streams with Existential Rules
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
- CoRR 2022
- Readers: Everyone
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
- RuleML+RR 2022
- Readers: Everyone
Answering Queries with Negation over Existential Rules
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
- AAAI 2022
- Readers: Everyone

View all 155 publications

Co-Authors

View all 91 co-authors