|
[10]
|
Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, and Fabrizio
Riguzzi.
Probabilistic DL reasoning with pinpointing formulas: A
prolog-based approach.
Theory and Practice of Logic Programming, 19(3):449--476, 2019.
[ bib |
DOI |
.pdf ]
|
|
[9]
|
Arnaud Nguembang Fadja, Evelina Lamma, and Fabrizio Riguzzi.
Vision inspection with neural networks.
In Marco Maratea and Mauro Vallati, editors, R.i.C.e.R.c.A:
RCRA Incontri E Confronti, Proceedings of the RiCeRcA Workshop co-located
with the 17th International Conference of the Italian Association for
Artificial Intelligence (Ai*iA 2018), volume 2272 of CEUR Workshop
Proceedings, pages 1--10, Aachen, Germany, 2018. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[8]
|
Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma.
Deep learning for probabilistic logic programming.
In Marco Rospocher, Luciano Serafini, and Sara Tonelli, editors,
AI*IA 2018 Doctoral Consortium, Proceedings of the AI*IA Doctoral
Consortium (DC), volume 2249 of CEUR Workshop Proceedings, pages
43--47, Aachen, Germany, 2018. © by the authors, Sun SITE
Central Europe.
[ bib |
.pdf ]
|
|
[7]
|
Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, and Fabrizio
Riguzzi.
A decision support system for food recycling based on constraint
logic programming and ontological reasoning.
In Paolo Felli and Marco Montali, editors, Proceedings of the
33rd Italian Conference on Computational Logic, volume 2214 of CEUR
Workshop Proceedings, pages 117--131, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[6]
|
Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma.
Expectation maximization in deep probabilistic logic programming.
In Chiara Ghidini, Bernardo Magnini, and Andrea Passerini, editors,
Proceedings of the 17th Conference of the Italian Association for
Artificial Intelligence (AI*IA2018), Trento, Italy, 20-23 November, 2018,
volume 11298 of Lecture Notes in Computer Science, pages 293--306,
Heidelberg, Germany, 2018. © Springer, Springer.
[ bib |
DOI |
.pdf ]
|
|
[5]
|
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, and Evelina
Lamma.
A modular inference system for probabilistic description logics.
In Davide Ciucci, Gabriella Pasi, and Barbara Vantaggi, editors,
Scalable Uncertainty Management 12th International Conference, SUM 2018,
Milan, Italy, October 3-5, 2018, Proceedings, volume 11142 of Lecture
Notes in Computer Science, pages 78--92, Heidelberg, Germany, 2018.
© Springer, Springer.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-00461-3_6.
[ bib |
DOI |
.pdf ]
|
|
[4]
|
Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma.
Learning the parameters of deep probabilistic logic programs.
In Elena Bellodi and Tom Schrijvers, editors, Probabilistic
Logic Programming (PLP 2018), volume 2219 of CEUR Workshop
Proceedings, pages 9--14, Aachen, Germany, 2018. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[3]
|
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo
Zese.
Modeling bitcoin protocols with probabilistic logic programming.
In Elena Bellodi and Tom Schrijvers, editors, Probabilistic
Logic Programming (PLP 2018), volume 2219 of CEUR Workshop
Proceedings, pages 49--61, Aachen, Germany, 2018. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[2]
|
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina
Lamma.
Tableau reasoning for description logics and its extension to
probabilities.
Annals of Mathematics and Artificial Intelligence,
82(1):101--130, © Springer, March 2018.
[ bib |
DOI |
.pdf |
http ]
|
|
[1]
|
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
Reasoning on datalog+- ontologies with abductive logic programming.
Fundamenta Informaticae, 159:65--93, 2018.
[ bib |
DOI |
.pdf ]
|
