PENALOZA NYSSEN RAFAEL

Role

Associate professor

Academic disciplines

Informatics (INFO-01/A)

Scientific-Disciplinary Group:

INFORMATICS (01/INFO-01)

Works in

Office phone

Publications

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

exPlaInable kNowledge-aware PrOcess INTelligence (PINPOINT)

Year: 2021

Call: Decreto Direttoriale n.1628 del 16-10-2020 - Bando PRIN 2020

Grantors: M.I.U.R. - MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITA' E DELLA RICERCA

Editor di rivista, collana editoriale, enciclopedia - AI COMMUNICATIONS, 2021
Membro del Comitato Editoriale - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019

Ricercatore universitario a t.d. - Libera Università di BOLZANO, 2015 - 2018
Ricercatore universitario a t.d. - Scientific Researcher (Wissenschaftlicher Mitarbeiter) - Technische Universitat Dresden, 2009 - 2015
Ricercatore universitario a t.d. - Libera Università di BOLZANO, 2018 - 2019

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