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

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

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

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

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

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

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

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

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

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

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

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

Atto di Convegno (Proceedings)
CEUR-WS, Proceedings of the 4th International Workshop on Probabilistic logic programming, (PLP 2017)
Vol. 1916, No. 1, pp: 3-14, 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

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

Economic and organizational impact of a clinical decision support system on laboratory test ordering
Bellodi, E; Vagnoni, E; Bonvento, B; Lamma, E.     dettagli >>

Contributo in rivista (Pubblicazione in Rivista)
BMC MEDICAL INFORMATICS AND DECISION MAKING
Vol. 17, No. 1, pp: 165-175, Anno: 2017

Probabilistic logic programming for natural language processing
Riguzzi, Fabrizio; Lamma, Evelina; Alberti, Marco; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016
Vol. 1802, No. 1, pp: 30-37, Anno: 2017

A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
Sun SITE Central Europe, Proceedings of the 4th International Workshop on Probabilistic Logic Programming (PLP)
Vol. 1916, No. 1, pp: 40-50, Anno: 2017

Iterated fixpoint well-founded semantics for hybrid knowledge bases
Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     dettagli >>

Atto di Convegno (Proceedings)
CEUR-WS, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science (ICTCS 2017) and the 32nd Italian Conference on Computational Logic (CILC 2017), Naples, Italy, September 26-28, 2017
Vol. 1949, No. 1, pp: 248-261, 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

1   2   3   4   5   6   7   8   9   10   11