1   2   3   4   5   6   7   8   9   10   11  
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 19, No. 3, pp: 449-476, Anno: 2019

KRaider: A crawler for linked data
Cota G.; Riguzzi F.; Zese R.; Lamma E.     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, Proceedings of the 34th Italian Conference on Computational Logic
Vol. 2396, No. 1, pp: 202-216, Anno: 2019

Analyzing Transaction Fees with Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Lamma, E.     dettagli >>

Atto di Convegno (Proceedings)
Springer, Lecture Notes in Business Information Processing
Vol. 373, No. 1, pp: 243-254, Anno: 2019

Studying transaction fees in the Bitcoin Blockchain with probabilistic logic programming
Azzolini, D.; Riguzzi, F.; Lamma, E.     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
INFORMATION
Vol. 10, No. 11, pp: 335-..., Anno: 2019

A Comparison of MCMC Sampling for Probabilistic Logic Programming
Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E.     dettagli >>

Atto di Convegno (Proceedings)
Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 11946, No. 1, pp: 18-29, Anno: 2019

Vision inspection with neural networks
Fadja, Arnaud Nguembang; Lamma, Evelina; Riguzzi, Fabrizio     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, R.i.C.e.R.c.A: RCRA Incontri E Confronti
Vol. 2272, No. 1, pp: 1-10, Anno: 2018

A Modular Inference System for Probabilistic Description Logics
Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina     dettagli >>

Atto di Convegno (Proceedings)
Springer, Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Vol. 11142, No. 1, pp: 78-92, Anno: 2018

A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS.org, Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018
Vol. 2214, No. 1, pp: 117-131, Anno: 2018

Modeling Bitcoin protocols with probabilistic logic programming
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, Probabilistic Logic Programming (PLP 2018)
Vol. 2219, No. 1, pp: 49-61, Anno: 2018

Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018

Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46:1-46:20, Anno: 2018

Deep learning for probabilistic logic programming
Fadja, Arnaud Nguembang; Riguzzi, Fabrizio; Lamma, Evelina     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, Proceedings of the AI*IA Doctoral Consortium (DC)
Vol. 2249, No. 1, pp: 43-47, Anno: 2018

Learning the parameters of deep probabilistic logic programs
NGUEMBANG FADJA, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, Probabilistic Logic Programming (PLP 2018)
Vol. 2219, No. 1, pp: 9-14, Anno: 2018

Tableau reasoning for description logics and its extension to probabilities
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 82, No. 1-3, pp: 101-130, Anno: 2018

Expectation Maximization in Deep Probabilistic Logic Programming
Nguembang Fadja, A.; Riguzzi, F.; Lamma, E.     dettagli >>

Atto di Convegno (Proceedings)
Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 11298, No. 1, pp: 293-306, Anno: 2018

Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>

Atto di Convegno (Proceedings)
Springer, New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Vol. 10091, No. 1, pp: 187-203, Anno: 2017

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Vol. 80, No. 1, pp: 313-333, Anno: 2017

Characterization of TLC 3D-NAND Flash Endurance through Machine Learning for LDPC Code Rate Optimization
Zambelli, Cristian; Cancelliere, Giuseppe; Riguzzi, Fabrizio; Lamma, Evelina; Olivo, Piero; Marelli, Alessia; Micheloni, Rino     dettagli >>

Atto di Convegno (Proceedings)
IEEE, Memory Workshop (IMW), 2017 IEEE International
pp: 1-4, Anno: 2017

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
Springer Verlag, International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017
Vol. 10364, No. 1, pp: 7-21, Anno: 2017

1   2   3   4   5   6   7   8   9   10   11