2018

  • Jean Christoph Jung, Carsten Lutz, Mauricio Martel, and Thomas Schneider. Querying the Unary Negation Fragment with Regular Path Expressions. To appear in Proceedings of the 21st International Conference on Database Theory (ICDT 2018). Vienna, Austria, March 2018. [pdf]
2017
  • Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, and Frank Wolter. Conservative Extensions in Guarded and Two-Variable Fragments. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Warsaw, Poland, July 2017. [pdf]
  • Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Undecidability of Relation-Changing Modal Logics. In Proceedings of Workshop DaLí - Dynamic Logic: new trends and applications. Brasilia, Brasil, September 2017. [pdf]
  • Jean Christoph Jung, Carsten Lutz, Mauricio Martel, and Thomas Schneider. Query Conservative Extensions in Horn Description Logics with Inverse Roles. In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne, Australia, August 2017. [pdf]
2016
  • Carlos Areces, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. Relation-Changing Logics as Fragments of Hybrid Logics. In Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016). Catania, Italy, September 2016. [pdf]
2015
  • Mauricio Martel. On the Undecidability of Relation-Changing Logics. Master's Thesis. Departamento de Computación, Facultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto, Argentina, March 2015. [pdf]
2013
  • Mauricio Martel and María Elena Markiewicz. Una Propuesta para Promover la Articulación entre Temas Básicos de Álgebra y Computación. In Revista de Educación Matemática (REM) of Unión Matemática Argentina (UMA). Volume 28, 2013. [pdf]