Seuraa
Maximilian Marx
Maximilian Marx
TU Dresden
Vahvistettu sähköpostiosoite verkkotunnuksessa tu-dresden.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Logic on MARS: Ontologies for generalised property graphs
M Marx, M Krötzsch, V Thost
Proc. 26th Int. Joint Conf. on Artificial Intelligence (IJCAI’17), 1188--1194, 2017
462017
Attributed Description Logics: Reasoning on Knowledge Graphs.
M Krötzsch, M Marx, A Ozaki, V Thost
IJCAI, 5309-5313, 2018
412018
The power of the terminating chase (invited talk)
M Krötzsch, M Marx, S Rudolph
22nd International Conference on Database Theory (ICDT 2019), 2019
312019
Discovering Implicational Knowledge in Wikidata
T Hanika, M Marx, G Stumme
International Conference on Formal Concept Analysis, 315-323, 2019
272019
Attributed description logics: Ontologies for knowledge graphs
M Krötzsch, M Marx, A Ozaki, V Thost
International Semantic Web Conference, 418-435, 2017
242017
Preserving Constraints with the Stable Chase
D Carral, M Krötzsch, M Marx, A Ozaki, S Rudolph
Proc. 21st Int. Conf. on Database Theory (ICDT'18), 2018
152018
SQID: Towards Ontological Reasoning for Wikidata
M Marx, M Krötzsch
International Semantic Web Conference (ISWC'17), 2017
142017
A sorted datalog hammer for supervisor verification conditions modulo simple linear arithmetic
M Bromberger, I Dragoste, R Faqeh, C Fetzer, L González, M Krötzsch, ...
International Conference on Tools and Algorithms for the Construction and …, 2022
10*2022
Nemo: First glimpse of a new rule engine
A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ...
Proc. 39th Int. Conf. on Logic Programming, ICLP, 2023
72023
Artifact for a sorted Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (Jan 2022)
M Bromberger, I Dragoste, R Faqeh, C Fetzer, L González, M Krötzsch, ...
DOI: https://doi. org/10.5281/zenodo 5888272, 0
5
Reasoning with Attributed Description Logics
M Krötzsch, M Marx, A Ozaki, V Thost
Proc. 30th Int. Workshop on Description Logics (DL’17). CEUR Workshop …, 2017
32017
Tuple-Generating Dependencies Capture Complex Values
M Marx, M Krötzsch
25th International Conference on Database Theory (ICDT 2022), 2022
12022
21st International Conference on Database Theory (ICDT 2018)
V Vassilevska Williams, K Yi, T Zeume, S Ahmetaj, M Ortiz, M Simkus, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018
2018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–13