PENALOZA NYSSEN RAFAEL
Pubblicazioni
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]. DettaglioZendron, 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
Piccirilli, E., Di Ciccio, C., Montali, M., Penaloza, R., Pontieri, L., Ricca, F. (2025). Explainable Knowledge-Aware Process Intelligence: PINPOINT Final Project Report. KI - KÜNSTLICHE INTELLIGENZ, 39(4), 311-316 [10.1007/s13218-025-00897-6]. 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
Progetti di ricerca
Premi e responsabilità scientifiche
Comitati editoriali
- Editor di rivista, collana editoriale, enciclopedia - AI COMMUNICATIONS, 2021
- Membro del Comitato Editoriale - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019
Incarichi di insegnamento o ricerca
- Ricercatore/Ricercatrice universitario a t.d. - Libera Università di BOLZANO, 2018 - 2019
- 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
Congressi/Convegni
- 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
