|
SCIFF^Prob: A Probabilistic Abductive Framework for Compliance Verification
Vespa, Michela; Bellodi, Elena; Gavanelli, Marco
details >>
Atto di Convegno (Proceedings) |
Open Publishing Association,
pp: 1-4, Anno: 2026 |
|
|
|
|
New Encodings of the Euclidean Traveling Salesperson Problem in Constraint Answer Set Programming on Difference Logic
Bertagnon, Alessandro; Gavanelli, Marco
details >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 36, No. 2, pp: ---, Anno: 2026 |
|
|
|
|
Probabilistic Traces in Declarative Process Mining
Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo
details >>
Atto di Convegno (Proceedings) |
Springer Cham,
AIxIA 2024 – Advances in Artificial Intelligence
Vol. 15450, No. 1, pp: 330-345, Anno: 2025 |
|
|
|
|
AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence
Andjelkovic, Marko; Syed, Rizwan Tariq; Veronesi, Alessandro; Vargas, Fabian; Ulbricht, Markus; Poehls, Leticia Bolzani; Krstic, Milos; Bertozzi, Davide; Jones, Edward G.; Rhodes, Oliver; Zese, Riccardo; Favalli, Michele; Bizzarri, Alice; Lamma, Evelina; Gavanelli, Marco; Bellodi, Elena; Peric, Zoran; Nikolic, Jelena; Dincic, Milan; Jovanovic, Aleksandra; Ciric, Dejan; Vucic, Nikola; Peric, Sofija; Jovanovic, Jelena; Stojanovic, Milica; Nikolic, Tatjana; Nikolic, Goran; Nedeljkovic, Jelena; Dankovic, Danijel; Zivanovic, Emilija; Marjanovic, Milos; Veljkovic, Sandra; Mitrovic, Nikola; Predic, Bratislav; Milovanovic, Tamara
details >>
Atto di Convegno (Proceedings) |
IEEE,
Proceedings of the 2025 28th Euromicro Conference on Digital System Design (DSD)
Vol. 2025, No. 1, pp: 145-152, Anno: 2025 |
|
|
|
|
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Bertagnon, A.; Dalpasso, M.; Favalli, M.; Gavanelli, M.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 25, No. 4, pp: 522-539, Anno: 2025 |
|
|
|
|
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
Bertagnon, A.; Gavanelli, M.
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
AI4CC-IPS-RCRA-SPIRIT 2024: International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy.
Vol. 3883, No. 1, pp: 118-128, Anno: 2024 |
|
|
|
|
An efficient propositional system for Abductive Logic Programming
Gavanelli, Marco; Julián-Iranzo, Pascual; Sáenz-Pérez, Fernando
details >>
Contributo in rivista (Pubblicazione in Rivista) |
ARTIFICIAL INTELLIGENCE REVIEW
Vol. 57, No. 12, pp: 334-1-334-30, Anno: 2024 |
|
|
|
|
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
Cappanera, P.; Caruso, S.; Dodaro, C.; Galata, G.; Gavanelli, M.; Maratea, M.; Marte, C.; Mochi, M.; Nonato, M.; Roma, M.
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
AI4CC-IPS-RCRA-SPIRIT 2024: International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy.
Vol. 3883, No. 1, pp: 129-141, Anno: 2024 |
|
|
|
|
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
Bertagnon, Alessandro; Gavanelli, Marco
details >>
Contributo in rivista (Pubblicazione in Rivista) |
INTELLIGENZA ARTIFICIALE
Vol. 18, No. 1, pp: 139-152, Anno: 2024 |
|
|
|
|
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon, Alessandro; Gavanelli, Marco
details >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 34, No. 1, pp: 1580-1607, Anno: 2024 |
|
|
|
|
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon, A.; Gavanelli, M.; Zanotti, F.
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3428, No. 1, pp: 3.1-3.16, Anno: 2023 |
|
|
|
|
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
Bertagnon, A.; Gavanelli, M.
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-11, Anno: 2023 |
|
|
|
|
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Cappanera, P; Gavanelli, M; Nonato, M; Roma, M
details >>
Contributo in rivista (Pubblicazione in Rivista) |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 23, No. 4, pp: 848-864, Anno: 2023 |
|
|
|
|
Decomposition approaches for scheduling chronic outpatients' clinical pathways in Answer Set Programming
Cappanera, P; Gavanelli, M; Nonato, M; Roma, M
details >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 33, No. 8, pp: 1851-1871, Anno: 2023 |
|
|
|
|
Modeling opinion polarization on social media: Application to Covid-19 vaccination hesitancy in Italy
Franceschi, J.; Pareschi, L.; Bellodi, E.; Gavanelli, M.; Bresadola, M.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
PLOS ONE
Vol. 18, No. 10, pp: e0291993-1-e0291993-26, Anno: 2023 |
|
|
|
|
A Mechatronic Cardiovascular Simulation System for Jugular Venous Echo-Doppler Training
Proto, Antonino.; Cavalieri, A.; Gadda, G.; Taibi, A.; Astolfi, L.; Bonfe', M.; Bertagnon, A.; Nonato, M.; Gavanelli, M.; Cristofori, G.; D'Antona, A.; Farsoni, S.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
ELECTRONICS
Vol. 12, No. 11, pp: 2419-1-2419-11, Anno: 2023 |
|
|
|
|
L’esitazione vaccinale tra scompenso informativo, terrorismo mediatico e semi-complottismo. Un’indagine empirica
Rubin, Andrea; Pedroni, Marco Luca; Fabbri, Michele; Bellodi, Elena; Gavanelli, Marco; Pareschi, Lorenzo; Franceschi, Jonathan; Bresadola, Marco
details >>
Contributo in rivista (Pubblicazione in Rivista) |
MEDIASCAPES JOURNAL
Vol. 20, No. 1, pp: 163-181, Anno: 2022 |
|
|
|
|
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts
Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022)
Vol. 3287, No. 1, pp: 71-84, Anno: 2022 |
|
|
|
|
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities
Cappanera, Paola; Gavanelli, Marco; Nonato, Maddalena; Roma, Marco
details >>
Atto di Convegno (Proceedings) |
Springer Nature,
Optimization in Artificial Intelligence and Data Sciences
Vol. 8, No. 1, pp: 213-226, Anno: 2022 |
|
|
|
|
Branching interval algebra: An almost complete picture
Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
INFORMATION AND COMPUTATION
Vol. 281, No. 1, pp: 104809-1-104809-17, Anno: 2021 |
|
|
|