Marianela Morales
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | On Learning Action Costs from Input Plans. | Marianela Morales, Alberto Pozanco, Giuseppe Canonaco, Sriram Gopalakrishnan, Daniel Borrajo, Manuela Veloso |
| 2025 | KR | A Planning Compilation to Reason About Goal Achievement at Planning Time. | Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso |
| 2024 | WoLLIC | A Simple Loopcheck for Intuitionistic K. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | LICS | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |