|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
details >>
Atto di Convegno (Proceedings) |
Springer,
AIxIA 2020 – Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
Vol. 12414, No. 1, pp: 318-334, Anno: 2021 |
|
|
|
|
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Bellodi, E.; Gavanelli, M.; Zese, R.; Lamma, E.; Riguzzi, F.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 557-574, Anno: 2021 |
|
|
|
|
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 |
|
|
|
|
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
details >>
Atto di Convegno (Proceedings) |
CEUR Workshop Proceedings,
IPS-RCRA 2020 Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Vol. 2745, No. 1, pp: 1-15, Anno: 2020 |
|
|
|
|
On (maximal, tractable) fragments of the branching algebra?
Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
details >>
Atto di Convegno (Proceedings) |
RWTH Aachen University,
Proceedings of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020)
Vol. 2710, No. 1, pp: 113-126, Anno: 2020 |
|
|
|