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. Detail

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]. Detail

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]. Detail

Cuteri, A., Mazzotta, G., Penaloza, R., Ricca, F. (2024). Automata-based LTLf Satisfiability Checking via ASP. In Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024 (pp.142-145). CEUR-WS. Detail

Penaloza, R., Turhan, A. (2024). Rough, Rougher, Roughest Extending ℰℒ with a Hierarchy of Indiscernibility Relations. In Proceedings of the 37th International Workshop on Description Logics (DL 2024) (pp.1-10). CEUR-WS. Detail