Follow
Mauricio Martel
Mauricio Martel
IRIT (Institut de Recherche en Informatique de Toulouse)
Verified email at irit.fr
Title
Cited by
Cited by
Year
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
232018
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
172018
Relation-changing logics as fragments of hybrid logics
C Areces, R Fervari, G Hoffmann, M Martel
arXiv preprint arXiv:1609.04086, 2016
152016
Conservative extensions in guarded and two-variable fragments
JC Jung, C Lutz, M Martel, T Schneider, F Wolter
arXiv preprint arXiv:1705.10115, 2017
142017
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
132018
Query Conservative Extensions in Horn Description Logics with Inverse Roles
JC Jung, C Lutz, M Martel, T Schneider
IJCAI, 1116-1122, 2017
82017
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
52020
Conservative extensions and satisfiability in fragments of first-order logic: Complexity and expressive power
M Martel
Universität Bremen, 2018
42018
A PO characterisation of reconfiguration
Y Abd Alrahman, M Martel, N Piterman
International Colloquium on Theoretical Aspects of Computing, 42-59, 2022
22022
On the Undecidability of Relation-Changing Logics
M Martel
Universidad Nacional de Río Cuarto, 2015
22015
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
The system can't perform the operation now. Try again later.
Articles 1–12