Maximilian Marx

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dipl.-Math. Maximilian Marx

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensbasierte Systeme

Ich bin Doktorand in der Forschungsgruppe Wissensbasierte Systeme und beschäftige mich mit Existenziellen Regeln und Beschreibungslogiken. In meinem Mathematikstudium habe ich mich in der Universellen Algebra spezialisiert, außerdem interessiere ich mich fur Logiken höherer Ordnung und Funktionale Programmierung. Weiterhin arbeite ich an Erweiterungen für den Browser SQID für Wikidata.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (extended abstract)
In Mario Alviano, Andreas Pieris, eds., Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry, volume 3203 of CEUR Workshop Proceedings, 97--103, September 2022. CEUR-WS.org
Details Download
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
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 13:1--13:20, March 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Interactively Discovering Implicational Knowledge in Wikidata
Presentation at 36th Chaos Communication Congress 2019, December 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
The Exploration Game
Poster at Wikimania 2019, August 2019
Details Download
Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Presentation at Wikimania 2019, August 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), volume 11511 of LNCS, 315--323, June 2019. Springer
Details Download
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Komplette Publikationsliste anzeigen

Lehrveranstaltungen

Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem