2017

  • Conservative Extensions in Guarded and Two-Variable Fragments. Logic Tea, Institute for Logic, Language and Computation (ILLC). Amsterdam, The Netherlands, October 2017. [abstract][slides]
  • Relation-Changing Modal Logics: Some Model and Proof Theoretic Aspects. 4th Workshop on Proof Theory, Modal Logic and Reflection Principles (Wormshop 2017). Moscow, Russia, October 2017. [slides]
  • Query Conservative Extensions in Horn Description Logics with Inverse Roles. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Melbourne, Australia, August 2017. [abstract][slides][poster]
  • Query Conservative Extensions in Horn Description Logics with Inverse Roles. 30th International Workshop on Description Logics (DL 2017). Montpellier, France, July 2017. [abstract][slides]
2016
  • Relation-Changing Logics as Fragments of Hybrid Logics. 7th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016). Catania, Italy, September 2016. [slides]
2015
  • On the Undecidability of Relation-Changing Logics (in Spanish). Master's Thesis Defense. Departamento de Computación, Universidad Nacional de Río Cuarto, Argentina, March 2015. [slides]
2013
  • On the Undecidability of Model Changing Logics (in Spanish). LXII Reunión Anual de la Unión Matemática Argentina (UMA 2013), Sesión de Lógica y Computabilidad. Rosario, Argentina, September 2013. [abstract][slides]