PENALOZA NYSSEN RAFAEL

Ielo, A., Mazzotta, G., Peñaloza, R., Ricca, F. (2026). Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. In Fortieth AAAI Conference on Artificial Intelligence-Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence
Sixteenth Symposium on Educational Advances in Artificial Intelligence (pp.19160-19168). Association for the Advancement of Artificial Intelligence [10.1609/aaai.v40i23.38990]. Dettaglio

Maggi, F., Montali, M., Penaloza, R. (2025). Probabilistic Temporal Reasoning Using Superposition Semantics. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 26(2), 1-26 [10.1145/3714427]. Dettaglio

Piccirilli, E., Di Ciccio, C., Montali, M., Penaloza, R., Pontieri, L., Ricca, F. (2025). Explainable Knowledge-Aware Process Intelligence: PINPOINT Final Project Report. KI - KÜNSTLICHE INTELLIGENZ, 39(4), 311-316 [10.1007/s13218-025-00897-6]. Dettaglio

Zendron, T., Penaloza, R. (2025). Guiding interactive ontology repair through prolific and relevant axioms. In Proceedings of the Workshop on Foundations and Future of Change in Artificial Intelligence (FCAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025) (pp.8-26). CEUR-WS. Dettaglio

Ielo, A., Mazzotta, G., Ricca, F., Penaloza, R. (2025). Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. In Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (pp.49-55). CEUR-WS. Dettaglio