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

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, Optimization in Artificial Intelligence and Data Sciences ODS, First Hybrid Conference, Rome, Italy, September 14-17, 2021
Vol. 8, No. 1, pp: 213-226, 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)
Sun SITE Central Europe, Proceedings of the Sixth Workshop on Natural Language for Artificial Intelligence (NL4AI 2022)
Vol. 3287, No. 1, pp: 59-72, Anno: 2022

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

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

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

MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
Bertagnon, Alessandro; Gavanelli, Marco     details >>

Atto di Convegno (Proceedings)
IEEE Computer Society + IEEE Xplore, 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

The horn fragment of branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano     details >>

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

Dischargeable Obligations in the ScIFF Framework
Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 176, No. 3-4, pp: 321-348, Anno: 2020

Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
Bertagnon, Alessandro; Gavanelli, Marco     details >>

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

Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
Chesani, F.; Cota, G.; Gavanelli, M.; Lamma, E.; Mello, P.; Riguzzi, F.     details >>

Contributo in rivista (Pubblicazione in Rivista)
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Vol. 95, No. 1, pp: 103861-1-103861-11, Anno: 2020

Accountable protocols in abductive logic programming (extended abstract)
Gavanelli, M.; Alberti, M.; Lamma, E.     details >>

Atto di Convegno (Proceedings)
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 325, No. 1, pp: 276-277, 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

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

A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea     details >>

Contributo in rivista (Pubblicazione in Rivista)
ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Vol. 64, No. 1, pp: 285-294, Anno: 2018

Deciding the consistency of branching time interval networks
Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido     details >>

Atto di Convegno (Proceedings)
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 25th International Symposium on Temporal Representation and Reasoning
Vol. 120, No. 1, pp: 12-1-12-15, Anno: 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018

Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018

Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures
Bertozzi, Davide; Gavanelli, Marco; Nonato, Maddalena     details >>

Atto di Convegno (Proceedings)
ACM, GLSVLSI '18: Proceedings of the 2018 on Great Lakes Symposium on VLSI
pp: 311-316, Anno: 2018

Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     details >>

Contributo in rivista (Pubblicazione in Rivista)
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46-1-46-20, Anno: 2018

1   2   3   4   5   6   7   8