A fully labelled proof system for intuitionistic modal logics. - Sonia Marin; Marianela Morales; Lutz Straßburger (J. Log. Comput., 2021)

Intuitionistic S4 is decidable. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (LICS, 2023)

Unusual proof systems for modal logics with applications to decision problems. (Systèmes de preuve inhabituels pour la logique modale avec applications aux problèmes de décision). - Marianela Morales (2023)

A Simple Loopcheck for Intuitionistic K. - Marianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Straßburger (WoLLIC, 2024)

On Learning Action Costs from Input Plans. - Marianela Morales; Alberto Pozanco; Giuseppe Canonaco; Sriram Gopalakrishnan; Daniel Borrajo; Manuela Veloso (CoRR, 2024)

The Value of Goal Commitment in Planning. - Alberto Pozanco; Marianela Morales; Daniel Borrajo; Manuela Veloso (CoRR, 2025)

GenPlanX. Generation of Plans and Execution. - Daniel Borrajo; Giuseppe Canonaco; Tomás de la Rosa; Alfredo Garrachón Ruiz; Sriram Gopalakrishnan; Simerjot Kaur; Marianela Morales; Sunandita Patra; Alberto Pozanco; Keshav Ramani; Charese Smiley; Pietro Totis; et al. (CoRR, 2025)

Planning with Minimal Disruption. - Alberto Pozanco; Marianela Morales; Daniel Borrajo; Manuela Veloso (CoRR, 2025)