Prati
Mauricio Martel
Naslov
Citirano
Citirano
Godina
Satisfiability for relation-changing logics
C Areces, R Fervari, G Hoffmann, M Martel
Journal of Logic and Computation 28 (7), 1443-1470, 2018
202018
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
152018
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
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
Dynamic Logic. New Trends and Applications: First International Workshop …, 2018
112018
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
62020
Conservative Extensions and Satisfiability in Fragments of First-Order Logic: Complexity and Expressive Power
M Martel
Universität Bremen, 2018
22018
On the Undecidability of Relation-Changing Logics
M Martel
Master’s thesis, Universidad Nacional de Rıo Cuarto, Argentina, 2015
22015
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–11