|
Accountable protocols in abductive logic programming (extended abstract)
Gavanelli, M.; Alberti, M.; Lamma, E.
details >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 325, No. 1, pp: 276-277, Anno: 2020 |
|
|
|
|
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide
details >>
|
Cambridge University Press,
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 17, No. 5-6, pp: 800-818, Anno: 2017 |
|
|
|
|
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 >>
|
Springer Cham,
AIxIA 2024 – Advances in Artificial Intelligence
Vol. 15450, No. 1, pp: 330-345, Anno: 2025 |
|
|
|
|
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 >>
|
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 |
|
|
|
|
Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
Bertagnon, A.; Gavanelli, M.
details >>
|
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 |
|
|
|
|
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Bertagnon, A.; Gavanelli, M.; Zanotti, F.
details >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3428, No. 1, pp: 3.1-3.16, Anno: 2023 |
|
|
|
|
Geometric reasoning on the Traveling Salesperson Problem: comparing Answer Set Programming and Constraint Logic Programming Approaches
Bertagnon, A.; Gavanelli, M.
details >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-11, Anno: 2023 |
|
|
|
|
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts
Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco
details >>
|
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 >>
|
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 >>
|
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 |
|
|
|
|
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
details >>
|
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 |
|
|
|
|
The horn fragment of branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano
details >>
|
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 |
|
|
|
|
Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
Bertagnon, Alessandro; Gavanelli, Marco
details >>
|
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 |
|
|
|
|
On (maximal, tractable) fragments of the branching algebra?
Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano
details >>
|
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 |
|
|
|
|
MAESTRO: a semi-autoMAted Evaluation SysTem for pROgramming assignments
Bertagnon, Alessandro; Gavanelli, Marco
details >>
|
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 |
|
|
|
|
Deciding the consistency of branching time interval networks
Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido
details >>
|
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 |
|
|
|
|
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 >>
|
ACM,
GLSVLSI '18: Proceedings of the 2018 on Great Lakes Symposium on VLSI
pp: 311-316, Anno: 2018 |
|
|
|
|
Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
details >>
|
Springer Verlag,
International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017
Vol. 10364, No. 1, pp: 7-21, Anno: 2017 |
|
|
|
|
Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
details >>
|
Springer,
New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Vol. 10091, No. 1, pp: 187-203, Anno: 2017 |
|
|
|
|
Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip
Peano, Andrea; Ramini, Luca; Gavanelli, Marco; Nonato, Maddalena; Bertozzi, Davide
details >>
|
Institute of Electrical and Electronics Engineers Inc.,
2016 IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
pp: 1-8, Anno: 2016 |
|
|
|