Publications

Carsten Lutz, and Lukas Schulze. Description Logics with Abstraction and Refinement. arXiv, 2023. [PUMA: Artificial in Intelligence sciences, FOS: Science sciences and Computer (cs.LO), (cs.AI), information Logic] URL

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, and Christoph Weidenbach. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. arXiv, 2022. [PUMA: sciences in and Computer sciences, (cs.LO), information FOS: Science Logic] URL

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, and Michaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules. arXiv, 2021. [PUMA: sciences in and Computer sciences, (cs.LO), (cs.DB), Databases information FOS: Science Logic] URL