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 | 12 | 2020 |
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments A Bertagnon, M Gavanelli 2020 International Conference on Computational Science and Computational …, 2020 | 6 | 2020 |
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 | 6 | 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 |
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex. A Bertagnon, M Gavanelli, F Zanotti CILC, 2023 | 4 | 2023 |
Comparing emotion and sentiment analysis tools on italian anti-vaccination for covid-19 posts E Bellodi, A Bertagnon, M Gavanelli CEUR WORKSHOP PROCEEDINGS 3287, 71-84, 2022 | 4 | 2022 |
Branching interval algebra: An almost complete picture A Bertagnon, M Gavanelli, A Passantino, G Sciavicco, S Trevisani Information and Computation 281, 104809, 2021 | 4 | 2021 |
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches. A Bertagnon, M Gavanelli ICLP Workshops, 2023 | 3 | 2023 |
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 | 3 | 2020 |
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information A Bertagnon Proceedings 36th International Conference on Logic Programming (Technical …, 2020 | 3 | 2020 |
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 | 1 | 2023 |
Wearable Sensors and Augmented Reality to Enable the Autonomous Execution of Rehabilitation Exercises S Farsoni, A D'Antona, J Rizzi, A Bertagnon, M Bonfè 1st Workshop on Wearable Intelligence for Healthcare Robotics, 0 | 1 | |
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming A Bertagnon, M Gavanelli Intelligenza Artificiale 18 (1), 139-152, 2024 | | 2024 |
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem A Bertagnon, M Gavanelli CEUR WORKSHOP PROCEEDINGS 3883, 118-128, 2024 | | 2024 |
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 |