PENALOZA NYSSEN RAFAEL

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

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

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

Carugno, V., Peñaloza, R. (2025). Possibilistic Reasoning on Finite-Time Linear Temporal Logic. In 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (pp.1487-1494). IOS Press BV [10.3233/FAIA250971]. Dettaglio