PENALOZA NYSSEN RAFAEL

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

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

Moschoyiannis, S., Penaloza, R. (2024). Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). THEORY AND PRACTICE OF LOGIC PROGRAMMING, 24(2), 310-312 [10.1017/S1471068424000097]. Dettaglio

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