PENALOZA NYSSEN RAFAEL

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

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

Robredo, M., Saarimaki, N., Penaloza, R., Taibi, D., Lenarduzzi, V. (2024). Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. In Proceedings - 2024 ACM/IEEE International Conference on Technical Debt, TechDebt 2024 (pp.45-46). Association for Computing Machinery, Inc [10.1145/3644384.3644472]. Dettaglio

Raganato, A., Peñaloza, R., Viviani, M., Pasi, G. (2024). Reasoning Capabilities and Invariability of Large Language Models. In 2024 IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) (pp.125-132). Institute of Electrical and Electronics Engineers Inc. [10.1109/WI-IAT62293.2024.00025]. Dettaglio