Segui
Alessandro Bertagnon
Titolo
Citata da
Citata da
Anno
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
122020
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
A Bertagnon, M Gavanelli
2020 International Conference on Computational Science and Computational …, 2020
62020
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
62020
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
52020
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.
A Bertagnon, M Gavanelli, F Zanotti
CILC, 2023
42023
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
42022
Branching interval algebra: An almost complete picture
A Bertagnon, M Gavanelli, A Passantino, G Sciavicco, S Trevisani
Information and Computation 281, 104809, 2021
42021
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches.
A Bertagnon, M Gavanelli
ICLP Workshops, 2023
32023
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
32020
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information
A Bertagnon
Proceedings 36th International Conference on Logic Programming (Technical …, 2020
32020
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
12023
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–15