Alessandro Bertagnon

According to our database, Alessandro Bertagnon authored at least 16 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic.

Alessandro Bertagnon, Marco Gavanelli

J. Log. Comput., 2026

2025

Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming.

Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli

Theory Pract. Log. Program., 2025

An Autonomous Robotic System for Aorta Ultrasound Screening with Deep Learning Segmentation.

Saverio Farsoni, Alessandro Bertagnon, Andrea D'Antona, Jacopo Rizzi, Marco Roma, Marcello Bonfè, Antonino Proto, Giulia Baldazzi, Anselmo Pagani, Paolo Zamboni

Proceedings of the 21st IEEE International Conference on Automation Science and Engineering, 2025

2024

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.

Alessandro Bertagnon, Marco Gavanelli

J. Log. Comput., 2024

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming¹.

Alessandro Bertagnon, Marco Gavanelli

Intelligenza Artificiale, 2024

Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem.

Alessandro Bertagnon, Marco Gavanelli

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

2023

Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches.

Alessandro Bertagnon, Marco Gavanelli

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.

Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems.

Alessandro Bertagnon

PhD thesis, 2022

Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.

Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli

Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022) co-located with 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), 2022

2021

Branching interval algebra: An almost complete picture.

Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani

Inf. Comput., 2021

2020

Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information.

Alessandro Bertagnon

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

The Horn Fragment of Branching Algebra.

Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

On (Maximal, Tractable) Fragments of the Branching Algebra.

Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.

Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese

Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020

Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD).

Alessandro Bertagnon, Marco Gavanelli

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020