|
Automatic Differentiation in Prolog
Schrijvers, T.; Van Den Berg, B.; Riguzzi, F.
dettagli >>
|
Cambridge University Press,
2023 International Conference on Logic Programming
Vol. 23, No. 4, pp: 900-917, Anno: 2023 |
|
|
|
|
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 |
|
|
|
|
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress
Azzolini, D.; Gentili, E.; Riguzzi, F.
dettagli >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-4, Anno: 2023 |
|
|
|
|
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
Vol. 13796, No. 1, 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
Vol. 13796, No. 1, pp: 413-426, Anno: 2023 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
dettagli >>
|
Springer Science and Business Media Deutschland GmbH,
Business Information Systems Workshops, Revised Selected Papers
Vol. 444, No. 1, 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 |
|
|
|
|
Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
dettagli >>
|
SPRINGER INTERNATIONAL PUBLISHING AG,
Logic Programming and Nonmonotonic Reasoning
Vol. 13416, No. 1, pp: 43-55, Anno: 2022 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
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 |
|
|
|
|
Quantum weighted model counting
Riguzzi, F.
dettagli >>
|
IOS Press BV,
ECAI 2020 24th European Conference on Artificial Intelligence 29 August–8 September 2020, Santiago de Compostela, Spain Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)
Vol. 325, No. 1, pp: 2640-2647, 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 |
|
|
|