Maximilian Marx

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 14

Top Topics

Description Logics

Knowledge Representation Languages

Top Venues

Publications

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine. CoRR (2023)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. CoRR (2022)
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values. ICDT (2022)
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract). Datalog (2022)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. TACAS (1) (2022)
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata. CoRR (2019)
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata. ICFCA (2019)
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase (Invited Talk). ICDT (2019)
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase. ICDT (2018)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs. IJCAI (2018)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs. ISWC (1) (2017)
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics. Description Logics (2017)
Maximilian Marx, Markus Krötzsch
SQID: Towards Ontological Reasoning for Wikidata. ISWC (Posters, Demos & Industry Tracks) (2017)
Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for Generalised Property Graphs. IJCAI (2017)