Maximilian Marx

According to our database, Maximilian Marx authored at least 12 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Nemo: First Glimpse of a New Rule Engine.

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2022

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Tuple-Generating Dependencies Capture Complex Values.

Maximilian Marx, Markus Krötzsch

Proceedings of the 25th International Conference on Database Theory, 2022

Tuple-Generating Dependencies Capture Complex Values (Extended Abstract).

Maximilian Marx, Markus Krötzsch

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2019

Discovering Implicational Knowledge in Wikidata.

Tom Hanika, Maximilian Marx, Gerd Stumme

Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

The Power of the Terminating Chase (Invited Talk).

Markus Krötzsch, Maximilian Marx, Sebastian Rudolph

Proceedings of the 22nd International Conference on Database Theory, 2019

2018

Attributed Description Logics: Reasoning on Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Preserving Constraints with the Stable Chase.

David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph

Proceedings of the 21st International Conference on Database Theory, 2018

2017

Attributed Description Logics: Ontologies for Knowledge Graphs.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the Semantic Web - ISWC 2017, 2017

SQID: Towards Ontological Reasoning for Wikidata.

Maximilian Marx, Markus Krötzsch

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Logic on MARS: Ontologies for Generalised Property Graphs.

Maximilian Marx, Markus Krötzsch, Veronika Thost

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning with Attributed Description Logics.

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost

Proceedings of the 30th International Workshop on Description Logics, 2017