|
Automatic Differentiation in Prolog
Schrijvers, T.; Van Den Berg, B.; Riguzzi, F.
details >>
|
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.
details >>
|
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.
details >>
|
Cambridge University Press,
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 21, No. 5, pp: 543-556, Anno: 2021 |
|
|
|
|
MAP Inference in Probabilistic Answer Set Programs
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
details >>
|
Springer International Publishing,
Lecture Notes in Computer Science
Vol. 13796, No. 1, pp: 413-426, Anno: 2023 |
|
|
|
|
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
details >>
|
Springer International Publishing,
Lecture Notes in Computer Science
Vol. 13796, No. 1, pp: 33-46, Anno: 2023 |
|
|
|
|
Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress
Azzolini, D.; Gentili, E.; Riguzzi, F.
details >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3437, No. 1, pp: 1-4, Anno: 2023 |
|
|
|
|
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
details >>
|
Open Publishing Association,
38th International Conference on Logic Programming, ICLP 2022
Vol. 364, No. 1, pp: 65-78, Anno: 2022 |
|
|
|
|
Abduction in (Probabilistic) Answer Set Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
details >>
|
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.
details >>
|
CEUR-WS,
CEUR Workshop Proceedings
Vol. 3193, No. 1, pp: 1-5, Anno: 2022 |
|
|
|
|
Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.
details >>
|
SPRINGER INTERNATIONAL PUBLISHING AG,
Logic Programming and Nonmonotonic Reasoning
Vol. 13416, No. 1, pp: 43-55, Anno: 2022 |
|
|
|
|
A probabilistic logic model of Lightning Network
Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
details >>
|
Springer Science and Business Media Deutschland GmbH,
Business Information Systems Workshops, Revised Selected Papers
Vol. 444, No. 1, pp: 321-333, Anno: 2022 |
|
|
|
|
Syntactic requirements for well-defined hybrid probabilistic logic programs
Azzolini, D.; Riguzzi, F.
details >>
|
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.
details >>
|
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.
details >>
|
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.
details >>
|
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.
details >>
|
Open Publishing Association,
Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 345, No. 1, pp: 234-235, Anno: 2021 |
|
|
|
|
Quantum weighted model counting
Riguzzi, F.
details >>
|
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 |
|
|
|
|
Automatic Setting of DNN Hyper-Parameters by Mixing Bayesian Optimization and Tuning Rules
Fraccaroli, M.; Lamma, E.; Riguzzi, F.
details >>
|
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 |
|
|
|
|
Abduction in Probabilistic Logic Programs
Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
details >>
|
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 |
|
|
|