Satisfiability for relation-changing logics C Areces, R Fervari, G Hoffmann, M Martel Journal of Logic and Computation 28 (7), 1443-1470, 2018 | 23 | 2018 |
Querying the unary negation fragment with regular path expressions JC Jung, C Lutz, M Martel, T Schneider 21st International Conference on Database Theory (ICDT 2018), 2018 | 17 | 2018 |
Relation-changing logics as fragments of hybrid logics C Areces, R Fervari, G Hoffmann, M Martel arXiv preprint arXiv:1609.04086, 2016 | 15 | 2016 |
Conservative extensions in guarded and two-variable fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter arXiv preprint arXiv:1705.10115, 2017 | 14 | 2017 |
Undecidability of relation-changing modal logics C Areces, R Fervari, G Hoffmann, M Martel Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 13 | 2018 |
Query Conservative Extensions in Horn Description Logics with Inverse Roles JC Jung, C Lutz, M Martel, T Schneider IJCAI, 1116-1122, 2017 | 8 | 2017 |
Conservative extensions in horn description logics with inverse roles JC Jung, C Lutz, M Martel, T Schneider Journal of Artificial Intelligence Research 68, 365-411, 2020 | 5 | 2020 |
Conservative extensions and satisfiability in fragments of first-order logic: Complexity and expressive power M Martel Universität Bremen, 2018 | 4 | 2018 |
A PO characterisation of reconfiguration Y Abd Alrahman, M Martel, N Piterman International Colloquium on Theoretical Aspects of Computing, 42-59, 2022 | 2 | 2022 |
On the Undecidability of Relation-Changing Logics M Martel Universidad Nacional de Río Cuarto, 2015 | 2 | 2015 |
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 |
Una propuesta para promover la articulación entre temas básicos de álgebra y computación MA Martel, ME Markiewicz Revista de Educación Matemática, 2013 | | 2013 |