author-photo

Markus Krötzsch

Dresden University of Technology
Karlsruhe Institute of Technology
University of Oxford

186

Papers

6599

Citations

Citation Trend

Filter By

Papers (185) Sort By

Journal Conference Others

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

2022 | TACAS (2)
Show All
- Source
- Cite
- Save
Citations (0)
Tuple-Generating Dependencies Capture Complex Values.

2022 ICDT | International Conference on Database Theory
- Maximilian Marx
- Markus Krötzsch
Show All
- Source
- Cite
- Save
Citations (0)
Chasing Streams with Existential Rules.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

2021 FroCoS | Frontiers of Combining Systems
Show All
- Source
- Cite
- Save
Citations (1)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules

2021 KR | Principles of Knowledge Representation and Reasoning
Show All
- Source
- Cite
- Save
Citations (0)
Computing Cores for Existential Rules with the Standard Chase and ASP

2020 KR | Principles of Knowledge Representation and Reasoning
- Markus Krötzsch
Show All
- Source
- Cite
- Save
Citations (1)
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract).

2020 Description Logics
- David Carral
- Markus Krötzsch
Show All
- Source
- Cite
- Save
Citations (0)