|
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 >>
Atto di Convegno (Proceedings) |
Springer Cham,
AIxIA 2024 – Advances in Artificial Intelligence
Vol. 15450, No. 1, pp: 1-14, Anno: 2025 |
|
|
|
|
Probabilistic Compliance in Declarative Process Mining
Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna
details >>
Atto di Convegno (Proceedings) |
CEUR Workshop proceedings,
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024)
Vol. 3779, No. 1, pp: 11-22, Anno: 2024 |
|
|
|
|
Exploiting CNN’s visual explanations to drive anomaly detection
Fraccaroli, M.; Bizzarri, A.; Casellati, P.; Lamma, E.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
APPLIED INTELLIGENCE
Vol. 54, No. 1, pp: 414-427, Anno: 2024 |
|
|
|
|
GRD-Net: Generative-Reconstructive-Discriminative Anomaly Detection with Region of Interest Attention Module
Ferrari, N.; Fraccaroli, M.; Lamma, E.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
Vol. 2023, No. 1, pp: 7773481-1-7773481-18, Anno: 2023 |
|
|
|
|
A Machine Learning Pipeline to Analyse Multispectral and Hyperspectral Images
Azzolini, D.; Bizzarri, A.; Fraccaroli, M.; Bertasi, F.; Lamma, E.
details >>
Atto di Convegno (Proceedings) |
Institute of Electrical and Electronics Engineers Inc.,
Proceedings - 2023 International Conference on Computational Science and Computational Intelligence, CSCI 2023
pp: 1306-1311, Anno: 2023 |
|
|
|
|
Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients
Fadja, Arnaud Nguembang; Fraccaroli, Michele; Bizzarri, Alice; Mazzuchelli, Giulia; Lamma, Evelina
details >>
Contributo in rivista (Pubblicazione in Rivista) |
MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING
Vol. 60, No. 12, pp: 3461-3474, Anno: 2022 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
details >>
Atto di Convegno (Proceedings) |
Springer Science and Business Media Deutschland GmbH,
Business Information Systems Workshops, Revised Selected Papers
Vol. 444, No. 1, pp: 321-333, Anno: 2022 |
|
|
|
|
Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing Deep Neural Networks hyperparameters
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
SOFTWAREX
Vol. 17, No. 1, pp: 100957-1-100957-7, Anno: 2022 |
|
|
|
|
Neural Networks and Deep Learning Fundamentals
Zese, Riccardo; Bellodi, Elena; Fraccaroli, Michele; Riguzzi, Fabrizio; Lamma, Evelina
details >>
Contributo in volume |
Springer Cham,
Machine Learning and Non-volatile Memories
pp: 23-42, Anno: 2022 |
|
|
|
|
Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
Atto di Convegno (Proceedings) |
Open Publishing Association,
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Vol. 364, No. 4 August 2022, pp: 143-146, Anno: 2022 |
|
|
|
|
Symbolic DNN-Tuner
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
MACHINE LEARNING
Vol. 111, No. 2, pp: 625-650, Anno: 2022 |
|
|
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
details >>
Atto di Convegno (Proceedings) |
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
|
|
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
Atto di Convegno (Proceedings) |
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3193, No. 1, pp: 1-5, Anno: 2022 |
|
|
|
|
Introduction to Machine Learning
Bellodi, Elena; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
details >>
Contributo in volume |
Springer International Publishing,
Machine Learning and Non-volatile Memories
pp: 1-21, 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 |
|
|
|
|
Learning hierarchical probabilistic logic programs
Nguembang Fadja, A.; Riguzzi, F.; Lamma, E.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
MACHINE LEARNING
Vol. 110, No. 7, pp: 1637-1693, Anno: 2021 |
|
|
|
|
A semantics for Hybrid Probabilistic Logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
Contributo in rivista (Pubblicazione in Rivista) |
ARTIFICIAL INTELLIGENCE
Vol. 294, No. 1, pp: 103452-1-103452-23, Anno: 2021 |
|
|
|
|
Probabilistic inductive constraint logic
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina
details >>
Contributo in rivista (Pubblicazione in Rivista) |
MACHINE LEARNING
Vol. 110, No. 4, pp: 723-754, Anno: 2021 |
|
|
|
|
Summary of semantics for hybrid probabilistic logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
details >>
Atto di Convegno (Proceedings) |
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 234-235, Anno: 2021 |
|
|
|
|
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 |
|
|
|