Follow
Mauricio Martel
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
192018
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
132018
Relation-changing logics as fragments of hybrid logics
C Areces, R Fervari, G Hoffmann, M Martel
arXiv preprint arXiv:1609.04086, 2016
122016
Undecidability of relation-changing modal logics
C Areces, R Fervari, G Hoffmann, M Martel
International Workshop on Dynamic Logic, 1-16, 2017
112017
Conservative extensions in guarded and two-variable fragments
JC Jung, C Lutz, M Martel, T Schneider, F Wolter
arXiv preprint arXiv:1705.10115, 2017
112017
Query Conservative Extensions in Horn Description Logics with Inverse Roles.
JC Jung, C Lutz, M Martel, T Schneider
IJCAI, 1116-1122, 2017
72017
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
On the Undecidability of Relation-Changing Logics
M Martel
Master’s thesis, Universidad Nacional de Rıo Cuarto, Argentina, 2015
22015
Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power
M Martel
Universität Bremen, 2018
12018
Una propuesta para promover la articulación entre temas básicos de álgebra y computación
M Martel, ME Markiewick
Revista de Educación Matemática 27, 1-10, 2012
2012
Conservative Extensions in Guarded and Two-Variable Fragments
M Martel, L Tea
The system can't perform the operation now. Try again later.
Articles 1–11