1 citations · 1 across the 5 of their papers we have counts for
5 papers
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Paola Cappanera, Marco Gavanelli, Maddalena Nonato +1
In Answer Set Programming (ASP), the user can define declaratively a problem and solve it with efficient solvers; practical applications of ASP are countless and several constraint…
Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy
Jonathan Franceschi, Lorenzo Pareschi, Elena Bellodi +2
The SARS-CoV-2 pandemic reminded us how vaccination can be a divisive topic on which the public conversation is permeated by misleading claims, and thoughts tend to polarize, espec…
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Elena Bellodi, Marco Gavanelli, Riccardo Zese +2
Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetica…
Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Marco Gavanelli, Maddalena Nonato, Andrea Peano +1
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Net…
A CHR-based Implementation of Known Arc-Consistency
Marco Alberti, Marco Gavanelli, Evelina Lamma +2
In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…