Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP (FD). A Bertagnon, M Gavanelli Thirty-Fourth AAAI Conference on Artificial Intelligence 34 (2), 1412-1419, 2020 | 8 | 2020 |
The Horn Fragment of Branching Algebra A Bertagnon, M Gavanelli, A Passantino, G Sciavicco, S Trevisani 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 5 | 2020 |
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts. E Bellodi, A Bertagnon, M Gavanelli NL4AI@ AI* IA, 71-84, 2022 | 4 | 2022 |
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments A Bertagnon, M Gavanelli 2020 International Conference on Computational Science and Computational …, 2020 | 4 | 2020 |
Branching interval algebra: An almost complete picture A Bertagnon, M Gavanelli, A Passantino, G Sciavicco, S Trevisani Information and Computation 281, 104809, 2021 | 2 | 2021 |
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints E Bellodi, A Bertagnon, M Gavanelli, R Zese International Conference of the Italian Association for Artificial …, 2020 | 2 | 2020 |
On (Maximal, Tractable) Fragments of the Branching Algebra A Bertagnon, M Gavanelli, G Sciavicco, S Trevisani Proceedings of the 35th Italian Conference on Computational Logic - CILC …, 2020 | 2 | 2020 |
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information A Bertagnon Proceedings 36th International Conference on Logic Programming (Technical …, 2020 | 2 | 2020 |
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches A Bertagnon, M Gavanelli Proceedings of the International Conference on Logic Programming 2023 …, 2023 | 1 | 2023 |
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training A Proto, A Cavalieri, G Gadda, A Taibi, L Astolfi, M Bonfè, A Bertagnon, ... Electronics 12 (11), 2419, 2023 | | 2023 |
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex A Bertagnon, M Gavanelli, F Zanotti | | 2023 |
Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems A Bertagnon Università degli studi di Ferrara, 2022 | | 2022 |