PENALOZA NYSSEN RAFAEL
Publications
Ielo, A., Mazzotta, G., Peñaloza, R., Ricca, F. (2026). Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. In Fortieth AAAI Conference on Artificial Intelligence-Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence
Sixteenth Symposium on Educational Advances in Artificial Intelligence (pp.19160-19168). Association for the Advancement of Artificial Intelligence [10.1609/aaai.v40i23.38990]. DetailMaggi, 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
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]. Detail
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. Detail
Research projects
Awards
Editorial boards
- Editor di rivista, collana editoriale, enciclopedia - AI COMMUNICATIONS, 2021
- Membro del Comitato Editoriale - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019
Research and teaching assignments
- Ricercatore/Ricercatrice universitario a t.d. - Libera Università di BOLZANO, 2015 - 2018
- Ricercatore/Ricercatrice universitario a t.d. - Scientific Researcher (Wissenschaftlicher Mitarbeiter) - Technische Universitat Dresden, 2009 - 2015
- Ricercatore/Ricercatrice universitario a t.d. - Libera Università di BOLZANO, 2018 - 2019
Congresses/Conferences
- Program committee - 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23)(Grecia), 2023
- Program committee - 37th AAAI Conference on Artificial Intelligence (AAAI'23)(Stati Uniti), 2023
- Program chair - The 2nd International Workshop on Knowledge Diversity(Grecia), 2023
- Program committee - 29th International Joint Conference on Artificial Intelligence (IJCAI-PRICAI- 20)(Giappone), 2021
- Program chair - 5th International Joint Conference on Rules and Reasoning (RuleML+RR 21)(Belgio), 2021
- Presidente/Chairman del comitato organizzativo - 14th International Conference on Scalable Uncertainty Management (SUM-2020)(Italia), 2020
- Program chair - 22nd International Conference on Knowledge Engineering and Knowledge Management (EKAW-20)(Italia), 2020
