1   2   3   4   5   6  
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

1   2   3   4   5   6