| Modeling and solving the rush hour puzzle L Cian, T Dreossi, A Dovier CEUR WORKSHOP PROCEEDINGS 3204, 294-306, 2022 | 8 | 2022 |
| XAI-LAW Towards a logic programming tool for taking and explaining legal decisions A Dovier, T Dreossi, A Formisano CEUR WORKSHOP PROCEEDINGS 3733, 2024 | 7 | 2024 |
| Towards Explainable Weather Forecasting Through FastLAS T Dreossi, A Dovier, A Formisano, M Law, A Manzato, A Russo, M Tait International Conference on Logic Programming and Nonmonotonic Reasoning …, 2024 | 5 | 2024 |
| Exploring ILASP Through Logic Puzzles Modelling T Dreossi CEUR WORKSHOP PROCEEDINGS 3428, 2023 | 5 | 2023 |
| Semi-automatic knowledge representation and reasoning on vagueness crime concepts M Dozzi, T Dreossi, F Costantini, A Dovier, A Formisano ALP2023, JURIX 2023 workshop on AI, law and philosophy, Maastricht, Netherlands, 2023 | 4 | 2023 |
| Evaluation of an Artificial Intelligence system for bull sperm morphology evaluation S Urli, FC Pause, T Dreossi, M Crociati, G Stradaioli Theriogenology, 117504, 2025 | 3 | 2025 |
| Semi-automatic knowledge representation and reasoning on vague crime concepts T Dreossi, M Dozzi, L Baron, A Dovier, A Formisano, F Costantini Computational Intelligence and Mathematics for Tackling Complex Problems 6 …, 2025 | 2 | 2025 |
| Bridging Logic Programming and Deep Learning for Explainability through ILASP T Dreossi arXiv preprint arXiv:2502.09227, 2025 | 1 | 2025 |
| Bridging Deep Learning and Logic Programming for Explainability through ILP T Dreossi ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 416, 314-323, 2025 | 1 | 2025 |
| XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions A Dovier, T Dreossi, A Formisano, B Strizzolo arXiv preprint arXiv:2601.03844, 2026 | | 2026 |
| How to train artificial intelligence systems for morphological assessment of spermatozoa in routine bull semen analysis: preliminary results F Corte Pause, S Urli, M Crociati, T Dreossi, G Stradaioli REPRODUCTION IN DOMESTIC ANIMALS 60, 2025 | | 2025 |
| Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS T Dreossi, A Dovier, S Urli, F Corte Pause, M Crociati CEUR WORKSHOP PROCEEDINGS 4003, 2025 | | 2025 |
| TOLC-ASP: a tool for training students for admission tests E Dal Santo, A Dovier, T Dreossi CEUR WORKSHOP PROCEEDINGS 4003, 2025 | | 2025 |
| Recommended system for individual study at home T Dreossi Atti Convegno Nazionale, 47, 0 | | |
