PENALOZA NYSSEN RAFAEL

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

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

Tenti, P., Thomas, J., Penaloza Nyssen, R., Pasi, G. (2025). ContReviews: A content-based recommendation system for updating Living Evidences in health care. KNOWLEDGE-BASED SYSTEMS, 311(28 February 2025) [10.1016/j.knosys.2025.112981]. Dettaglio

Robredo, M., Saarimäki, N., Esposito, M., Taibi, D., Peñaloza, R., Lenarduzzi, V. (2025). Evaluating time-dependent methods and seasonal effects in code technical debt prediction. THE JOURNAL OF SYSTEMS AND SOFTWARE, 230(December 2025) [10.1016/j.jss.2025.112545]. Dettaglio