Marianela Morales

According to our database, Marianela Morales authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable.

Alberto Pozanco, Marianela Morales, Pietro Totis, Daniel Borrajo

CoRR, April, 2026

2025

Planning with Minimal Disruption.

Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso

CoRR, August, 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, Manuela Veloso

CoRR, June, 2025

The Value of Goal Commitment in Planning.

Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso

CoRR, March, 2025

A Planning Compilation to Reason About Goal Achievement at Planning Time.

Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

On Learning Action Costs from Input Plans.

Marianela Morales, Alberto Pozanco, Giuseppe Canonaco, Sriram Gopalakrishnan, Daniel Borrajo, Manuela Veloso

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

A Simple Loopcheck for Intuitionistic K.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the Logic, Language, Information, and Computation, 2024

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

PhD thesis, 2023

Intuitionistic S4 is decidable.

Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2021

A fully labelled proof system for intuitionistic modal logics.

Sonia Marin, Marianela Morales, Lutz Straßburger

J. Log. Comput., 2021