|
An efficient propositional system for Abductive Logic Programming
Gavanelli, Marco; Julián-Iranzo, Pascual; Sáenz-Pérez, Fernando
details >>
|
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 >>
|
JOURNAL OF LOGIC AND COMPUTATION
Vol. 34, No. 1, pp: 1580-1607, Anno: 2024 |
|
|
|
|
Geometric reasoning on the euclidean traveling salesperson problem in answer set programming
Bertagnon, Alessandro; Gavanelli, Marco
details >>
|
INTELLIGENZA ARTIFICIALE
Vol. 18, No. 1, pp: 139-152, Anno: 2024 |
|
|
|
|
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
Cappanera, P; Gavanelli, M; Nonato, M; Roma, M
details >>
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 23, No. 4, pp: 848-864, 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 >>
|
ELECTRONICS
Vol. 12, No. 11, pp: 2419-1-2419-11, 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 >>
|
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
details >>
|
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 >>
|
MEDIASCAPES JOURNAL
Vol. 20, No. 1, pp: 163-181, Anno: 2022 |
|
|
|
|
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Bellodi, E.; Gavanelli, M.; Zese, R.; Lamma, E.; Riguzzi, F.
details >>
|
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 >>
|
INFORMATION AND COMPUTATION
Vol. 281, No. 1, pp: 104809-1-104809-17, Anno: 2021 |
|
|
|
|
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 >>
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Vol. 95, No. 1, pp: 103861-1-103861-11, Anno: 2020 |
|
|
|
|
Dischargeable Obligations in the ScIFF Framework
Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.
details >>
|
FUNDAMENTA INFORMATICAE
Vol. 176, No. 3-4, pp: 321-348, Anno: 2020 |
|
|
|
|
A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea
details >>
|
ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Vol. 64, No. 1, pp: 285-294, Anno: 2018 |
|
|
|
|
Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
details >>
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46-1-46-20, Anno: 2018 |
|
|
|
|
Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
details >>
|
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 >>
|
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018 |
|
|
|
|
SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX
Gavanelli, Marco
details >>
|
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 81-92, Anno: 2017 |
|
|
|
|
Scheduling countermeasures to contamination events by genetic algorithms
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Alvisi, Stefano; Franchini, Marco
details >>
|
AI COMMUNICATIONS
Vol. 28, No. 2, pp: 259-282, Anno: 2015 |
|
|
|
|
An application of constraint solving for home health care
Cattafi, Massimiliano; Rosa, Herrero; Gavanelli, Marco; Nonato, Maddalena; Federico, Malucelli
details >>
|
AI COMMUNICATIONS
Vol. 28, No. 2, pp: 215-237, Anno: 2015 |
|
|
|
|
An ASP approach for the valves positioning optimization in a water distribution system
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea
details >>
|
JOURNAL OF LOGIC AND COMPUTATION
Vol. 25, No. 6, pp: 1351-1369, Anno: 2015 |
|
|
|