|
Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Vol. 364, No. 1, pp: 143-146, Anno: 2022 |
|
|
|
|
Optimizing Probabilities in Probabilistic Logic Programs
Azzolini, D.; Riguzzi, F.
dettagli >>
|
Cambridge University Press,
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 543-556, Anno: 2021 |
|
|
|
|
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
dettagli >>
|
Springer International Publishing,
Lecture Notes in Computer Science
pp: 33-46, Anno: 2023 |
|
|
|
|
MAP Inference in Probabilistic Answer Set Programs
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
dettagli >>
|
Springer International Publishing,
Lecture Notes in Computer Science
pp: 413-426, Anno: 2023 |
|
|
|
|
Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
Springer Cham,
Logic Programming and Nonmonotonic Reasoning
Vol. 13416, No. 1, pp: 43-55, Anno: 2022 |
|
|
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
dettagli >>
|
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
dettagli >>
|
Springer,
Business Information Systems Workshops, Revised Selected Papers
pp: 321-333, Anno: 2022 |
|
|
|
|
Abduction in (Probabilistic) Answer Set Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
CEUR-WS,
Proceedings of the 37th Italian Conference on Computational Logic
Vol. 3204, No. 1, pp: 90-103, Anno: 2022 |
|
|
|
|
Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3193, No. 1, pp: 1-5, Anno: 2022 |
|
|
|
|
Summary of semantics for hybrid probabilistic logic programs with function symbols
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 234-235, Anno: 2021 |
|
|
|
|
Syntactic requirements for well-defined hybrid probabilistic logic programs
Azzolini, D.; Riguzzi, F.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 14-26, Anno: 2021 |
|
|
|
|
Prediction of Gas Turbine Trip: a Novel Methodology based on Random Forest Models
Losi, E.; Venturini, M.; Manservigi, L.; Ceschini, G. F.; Bechini, G.; Cota, G.; Riguzzi, F.
dettagli >>
|
American Society of Mechanical Engineers (ASME),
Proceedings of ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition
Vol. 8, No. 1, pp: GT2021-58916-1-GT2021-58916-14, Anno: 2021 |
|
|
|
|
Reducing probabilistic logic programs
Azzolini, D.; Riguzzi, F.
dettagli >>
|
CEUR-WS,
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021
Vol. 2956, No. 1, pp: 1-13, Anno: 2021 |
|
|
|
|
Data Selection and Feature Engineering for the Application of Machine Learning to the Prediction of Gas Turbine Trip
Losi, E.; Venturini, M.; Manservigi, L.; Ceschini, G. F.; Bechini, G.; Cota, G.; Riguzzi, F.
dettagli >>
|
American Society of Mechanical Engineers (ASME),
Proceedings of ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition
Vol. 8, No. 1, pp: GT2021-58914-1-GT2021-58914-11, Anno: 2021 |
|
|
|
|
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Machine Learning, Optimization, and Data Science. 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I
Vol. 12565, No. 1, pp: 477-488, Anno: 2020 |
|
|
|
|
Structured Methodology for Clustering Gas Turbine Transients by means of Multi-variate Time Series
Losi, E.; Venturini, M.; Manservigi, L.; Ceschini, G. F.; Bechini, G.; Cota, G.; Riguzzi, F.
dettagli >>
|
ASME,
Proceedings of ASME Turbo Expo 2020
pp: GT2020-14751-1-GT2020-14751-16, Anno: 2020 |
|
|
|
|
Modeling Smart Contracts with Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Lecture Notes in Business Information Processing
Vol. 394, No. 1, pp: 86-98, Anno: 2020 |
|
|
|
|
An Analysis of Gibbs Sampling for Probabilistic Logic Programs
Azzolini, D.; Riguzzi, F.; Lamma, E.
dettagli >>
|
CEUR-WS,
ICLP20WS 2020 International Conference on Logic Programming 2020 Workshops
Vol. 2678, No. 1, pp: 1-13, Anno: 2020 |
|
|
|
|
Abduction in Probabilistic Logic Programs
Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
dettagli >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 364, No. 1, pp: 175-177, Anno: 2022 |
|
|
|
|
Modeling Bitcoin Lightning Network by Logic Programming
Azzolini, Damiano; Bellodi, Elena; Brancaleoni, Alessandro; Riguzzi, Fabrizio; Lamma, Evelina
|
Open Publishing Association,
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Vol. 325, No. 1, pp: 258-260, Anno: 2020 |
|
|
|