|
SCIFF^Prob: A Probabilistic Abductive Framework for Compliance Verification
Vespa, Michela; Bellodi, Elena; Gavanelli, Marco
dettagli >>
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
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 36, No. 2, pp: exaf072-1-exaf072-24, Anno: 2026 |
|
|
|
|
Fine-Grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Bertagnon, A.; Dalpasso, M.; Favalli, M.; Gavanelli, M.
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 25, No. 4, pp: 522-539, Anno: 2025 |
|
|
|
|
Probabilistic Traces in Declarative Process Mining
Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo; Vespa, Michela
dettagli >>
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
dettagli >>
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 |
|
|
|
|
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
Bertagnon, A.; Gavanelli, M.
dettagli >>
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 |
|
|
|
|
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon, Alessandro; Gavanelli, Marco
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 34, No. 1, pp: 1580-1607, Anno: 2024 |
|
|
|
|
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
Bertagnon, Alessandro; Gavanelli, Marco
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
INTELLIGENZA ARTIFICIALE
Vol. 18, No. 1, pp: 139-152, 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.
dettagli >>
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 |
|
|
|
|
An efficient propositional system for Abductive Logic Programming
Gavanelli, Marco; Julián-Iranzo, Pascual; Sáenz-Pérez, Fernando
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
ARTIFICIAL INTELLIGENCE REVIEW
Vol. 57, No. 12, pp: 334-1-334-30, Anno: 2024 |
|
|
|
|
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
Bertagnon, A.; Gavanelli, M.
dettagli >>
Atto di Convegno (Proceedings) |
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-11, Anno: 2023 |
|
|
|
|
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon, A.; Gavanelli, M.; Zanotti, F.
dettagli >>
Atto di Convegno (Proceedings) |
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3428, No. 1, pp: 3.1-3.16, 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.
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
ELECTRONICS
Vol. 12, No. 11, pp: 2419-1-2419-11, 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.
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
PLOS ONE
Vol. 18, No. 10, pp: e0291993-1-e0291993-26, Anno: 2023 |
|
|
|
|
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Cappanera, P; Gavanelli, M; Nonato, M; Roma, M
dettagli >>
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
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
JOURNAL OF LOGIC AND COMPUTATION
Vol. 33, No. 8, pp: 1851-1871, Anno: 2023 |
|
|
|
|
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts
Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco
dettagli >>
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 |
|
|
|
|
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
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
MEDIASCAPES JOURNAL
Vol. 20, No. 1, pp: 163-181, Anno: 2022 |
|
|
|
|
A Decomposition Approach to the Clinical Pathway Deployment for Chronic Outpatients with Comorbidities
Cappanera, Paola; Gavanelli, Marco; Nonato, Maddalena; Roma, Marco
dettagli >>
Atto di Convegno (Proceedings) |
Springer Nature,
Optimization in Artificial Intelligence and Data Sciences
Vol. 8, No. 1, pp: 213-226, Anno: 2022 |
|
|
|
|
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Bellodi, E.; Gavanelli, M.; Zese, R.; Lamma, E.; Riguzzi, F.
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 557-574, Anno: 2021 |
|
|
|