1   2   3   4   5   6   7   8  
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

1   2   3   4   5   6   7   8