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. --, No. 1, pp: -----, 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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
dettagli >>
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 |
|
|
Branching interval algebra: An almost complete picture
Bertagnon, A.; Gavanelli, M.; Passantino, A.; Sciavicco, G.; Trevisani, S.
dettagli >>
Contributo in rivista (Pubblicazione in Rivista) |
INFORMATION AND COMPUTATION
Vol. 281, No. 1, pp: 104809-1-104809-17, Anno: 2021 |
|
|
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 |
|
|
On (maximal, tractable) fragments of the branching algebra?
Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
dettagli >>
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 |
|
|
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
dettagli >>
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 |
|
|
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
Bertagnon, Alessandro; Gavanelli, Marco
dettagli >>
Atto di Convegno (Proceedings) |
AAAI Press,
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020
Vol. 34, No. 2, pp: 1412-1419, Anno: 2020 |
|
|
The horn fragment of branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano
dettagli >>
Atto di Convegno (Proceedings) |
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing,
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Vol. 178, No. 1, pp: 5-1-5-16, Anno: 2020 |
|
|
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
Bertagnon, Alessandro; Gavanelli, Marco
dettagli >>
Atto di Convegno (Proceedings) |
Institute of Electrical and Electronics Engineers Inc.,
Proceedings of the 2020 International Conference on Computational Science and Computational Intelligence (CSCI'20: December 16-18, 2020, Las Vegas, Nevada, USA)
pp: 953-958, Anno: 2020 |
|