Maximilian Marx

16 papers A* 2A 3B 1C 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Declarative Debugging for Datalog with Aggregation.
EDBT/ICDT Workshops
Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
2025 — —
Attributed Logics for Reasoning over Knowledge Graphs.
Maximilian Marx
2023 B conf
Nemo: First Glimpse of a New Rule Engine.
ICLP
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
2022 — conf
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
TACAS (1)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022 J jnl
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
CoRR
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022 — conf
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract).
Datalog
Maximilian Marx, Markus Krötzsch
2022 A conf
Tuple-Generating Dependencies Capture Complex Values.
ICDT
Maximilian Marx, Markus Krötzsch
2019 C conf
Discovering Implicational Knowledge in Wikidata.
ICFCA
Tom Hanika, Maximilian Marx, Gerd Stumme
2019 J jnl
Discovering Implicational Knowledge in Wikidata.
CoRR
Tom Hanika, Maximilian Marx, Gerd Stumme
2019 A conf
The Power of the Terminating Chase (Invited Talk).
ICDT
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
2018 A* conf
Attributed Description Logics: Reasoning on Knowledge Graphs.
IJCAI
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2018 A conf
Preserving Constraints with the Stable Chase.
ICDT
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
2017 — conf
Attributed Description Logics: Ontologies for Knowledge Graphs.
ISWC (1)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017 A* conf
Logic on MARS: Ontologies for Generalised Property Graphs.
IJCAI
Maximilian Marx, Markus Krötzsch, Veronika Thost
2017 — conf
Reasoning with Attributed Description Logics.
Description Logics
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
2017 — conf
SQID: Towards Ontological Reasoning for Wikidata.
ISWC (Posters, Demos & Industry Tracks)
Maximilian Marx, Markus Krötzsch