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

1   2   3   4   5   6