Items where Schools and Departments is "Computer Science" and Year is 2025
A
Aminof, B., De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025).
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties.
Information and Computation, 303,
article number 105255.
doi: 10.1016/j.ic.2024.105255
B
Bennetot, A. ORCID: 0000-0001-8232-8728, Donadello, I. ORCID: 0000-0002-0701-5729, El Qadi El Haouari, A. ORCID: 0000-0002-7296-1252 , Dragoni, M. ORCID: 0000-0003-0380-6571, Frossard, T. ORCID: 0009-0005-6388-5672, Wagner, B. ORCID: 0009-0002-6747-1862, Sarranti, A. ORCID: 0000-0002-1085-8428, Tulli, S. ORCID: 0000-0002-6826-370X, Trocan, M. ORCID: 0000-0001-6241-0126, Chatila, R. ORCID: 0000-0001-7822-0634, Holzinger, A. ORCID: 0000-0002-6786-5194, d'Avila Garcez, A. S. ORCID: 0000-0001-7375-9518 & Díaz-Rodríguez, N. ORCID: 0000-0003-3362-9326 (2025).
A Practical Tutorial on Explainable AI Techniques.
ACM Computing Surveys, 57(2),
pp. 1-44.
doi: 10.1145/3670685
H
Heitlinger, S. ORCID: 0000-0001-6148-350X, Light, A., Akama, Y. , Lindström, K. & Stahl, A. (2025).
More-than-human participatory design.
In: Smith, R. C., Loi, D., Winschiers-Theophilus, H. , Huybrechts, L. & Simonsen, J. (Eds.),
Routledge International Handbook of Contemporary Participatory Design.
. London, UK: Routledge.
doi: 10.4324/9781003334330-5
O
Odense, S. & d'Avila Garcez, A. ORCID: 0000-0001-7375-9518 (2025).
A semantic framework for neurosymbolic computation.
Artificial Intelligence, 340,
article number 104273.
doi: 10.1016/j.artint.2024.104273