Alessandro Bertagnon

18 papers A* 1C 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic.
J. Log. Comput.
Alessandro Bertagnon, Marco Gavanelli
2025 — conf
An Autonomous Robotic System for Aorta Ultrasound Screening with Deep Learning Segmentation.
CASE
Saverio Farsoni, Alessandro Bertagnon, Andrea D'Antona, Jacopo Rizzi, Marco Roma, Marcello Bonfè, Antonino Proto, Giulia Baldazzi, Anselmo Pagani, Paolo Zamboni
2025 J jnl
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming.
Theory Pract. Log. Program.
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2025 J jnl
Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming.
CoRR
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
2024 J jnl
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.
J. Log. Comput.
Alessandro Bertagnon, Marco Gavanelli
2024 J jnl
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
Intelligenza Artificiale
Alessandro Bertagnon, Marco Gavanelli
2024 — conf
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Alessandro Bertagnon, Marco Gavanelli
2023 — conf
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex.
CILC
Alessandro Bertagnon, Marco Gavanelli, Fabio Zanotti
2023 — conf
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches.
ICLP Workshops
Alessandro Bertagnon, Marco Gavanelli
2022 — conf
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.
NL4AI@AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli
2022 — —
Improving Reasoning in Constraint Logic Programming: an Application to Route Planning and Qualitative Temporal Reasoning Problems.
Alessandro Bertagnon
2021 J jnl
Branching interval algebra: An almost complete picture.
Inf. Comput.
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
2020 — conf
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information.
ICLP Technical Communications
Alessandro Bertagnon
2020 A* conf
Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD).
AAAI
Alessandro Bertagnon, Marco Gavanelli
2020 — conf
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.
IPS-RCRA@AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020 — conf
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.
AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020 — conf
On (Maximal, Tractable) Fragments of the Branching Algebra.
CILC
Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
2020 C conf
The Horn Fragment of Branching Algebra.
TIME
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani