1   2   3   4   5   6   7  
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. 4 August 2022, pp: 143-146, Anno: 2022

Learning the Parameters of Probabilistic Answer Set Programs
Azzolini, D.; Bellodi, E.; Riguzzi, F.     details >>
Springer Science and Business Media Deutschland GmbH, Inductive Logic Programming. 31st International Conference, ILP 2022.
Vol. 13779, No. 1, pp: 1-14, Anno: 2024

Logic Programming for Knowledge Graph Completion
Azzolini, D.; Bonato, M.; Gentili, E.; Riguzzi, F.     details >>
CEUR-WS, CEUR Workshop Proceedings
Vol. 3733, No. 1, pp: 1-14, Anno: 2024

Inference in Probabilistic Answer Set Programming Under the Credal Semantics
Azzolini, Damiano; Riguzzi, Fabrizio     details >>
Springer Science and Business Media Deutschland GmbH, AIxIA 2023 -- Advances in Artificial Intelligence
Vol. 14318, No. 1, pp: 367-380, Anno: 2023

MAP Inference in Probabilistic Answer Set Programs
Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio     details >>
Springer International Publishing, International Conference of the Italian Association for Artificial Intelligence : AIxIA 2022 – Advances in Artificial Intelligence
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, International Conference of the Italian Association for Artificial Intelligence : AIxIA 2022 – Advances in Artificial Intelligence
Vol. 13796, No. 1, pp: 33-46, Anno: 2023

Regularization in Probabilistic Inductive Logic Programming
Gentili, E.; Bizzarri, A.; Azzolini, D.; Zese, R.; Riguzzi, F.     details >>
Springer Science and Business Media Deutschland GmbH, Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
Vol. 14363, No. 1, pp: 16-29, 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

Summary of Statistical Statements in Probabilistic Logic Programming
Azzolini, D.; Bellodi, E.; Riguzzi, F.     details >>
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 385, No. 1, pp: 384-385, Anno: 2023

Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs
Azzolini, D.; Bellodi, E.; Riguzzi, F.     details >>
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 385, No. 1, pp: 190-191, Anno: 2023

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

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

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

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

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

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

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

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

1   2   3   4   5   6   7