talks
- Updating Knowing How.
Formal Methods for Artificial Intelligence Working Group, Laboratoire Méthodes Formelles (LMF), Université Paris-Saclay, France, 2023.
- Model-Checking for Ability-Based Logics with Constrained Plans. (video)
37th AAAI Conference on Artificial Intelligence (AAAI-23), Washington DC, USA (online), 2023.
- Logic in AI: the case of strategic reasoning.
MCS colloquium, Guangdong Technion - Israel Institute of Technology (GTIIT), Shantou, China, 2022.
- Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.
2nd Workshop Dynamic Logic : new trends and applications (DALI 2019), Porto, Portugal, 2019.
- Separation Logics: A Modal Perspective.
LIRa Seminar, Institute for Logic, Language and Computation (ILLC), UvA, Amsterdam, The Netherlands, 2019.
- A Tableaux Calculus for Default Intuitionistic Logic.
27th International Conference on Automated Deduction (CADE 2019), Natal, Brazil, 2019.
- Proof Theory for XPath using Hybrid Logic tools.
Seminar at Laboratoire Spécification et Vérification (LSV), ENS Cachan, France, 2017.
- Dynamic Epistemic Logics of Introspection.
1st Workshop Dynamic Logic : new trends and applications (DALI 2017), Brasília, Brazil, 2017.
- Undecidability of Relation-Changing Modal Logics.
1st Workshop Dynamic Logic : new trends and applications (DALI 2017), Brasília, Brazil, 2017.
- Relation-Changing Modal Logics.
Doctoral dissertation, FAMAF-UNC, Córdoba, Argentina, 2014.
- Logics with Copy and Remove.
21st Workshop on Logic, Language, Information and Computation (WOLLIC 2014), Valparaíso, Chile, 2014.
- Moving Arrows and Four Model Checking Results.
19th Workshop on Logic, Language, Information and Computation (WOLLIC 2012), Buenos Aires, Argentina, 2012.