[1]

Cristian Zambelli, Giuseppe Cancelliere, Fabrizio Riguzzi, Evelina Lamma, Piero
Olivo, Alessia Marelli, and Rino Micheloni.
Characterization of TLC 3DNAND flash endurance through machine
learning for LDPC code rate optimization.
In 2017 IEEE International Memory Workshop (IMW), pages 14.
IEEE, May 2017.
[ bib 
DOI ]

[2]

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese
Riccardo.
Dischargeable obligations in abductive logic programming.
In RuleML+RR 2017, volume 10364 of Lecture Notes in
Computer Science, Cham, 2017. © Springer International
Publishing AG, Springer International Publishing.
[ bib 
DOI ]

[3]

Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota.
Probabilistic inductive logic programming on the web.
In 20th International Conference on Knowledge Engineering and
Knowledge Management, EKAW 2016; Bologna; Italy; 19 November 2016 through
23 November 2016, volume 10180 of Lecture Notes in Computer Science,
pages 172175. Springer, Cham, © Springer International
Publishing AG, 2017.
The final publication is available at Springer via
http://dx.doi.org/10.1007/9783319586946_25.
[ bib 
DOI 
.pdf ]

[4]

Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
Probabilistic logic programming for natural language processing.
In Federico Chesani, Paola Mello, and Michela Milano, editors,
URANIA 2016, Deep Understanding and Reasoning: A Challenge for
Nextgeneration Intelligent Agents, Proceedings of the AI*IA Workshop on
Deep Understanding and Reasoning: A Challenge for Nextgeneration Intelligent
Agents 2016 colocated with 15th International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2016), volume 1802 of
CEUR Workshop Proceedings, pages 3037, Aachen, Germany, 2017.
© by the authors, Sun SITE Central Europe.
[ bib 
http 
.pdf ]

[5]

Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo
Zese.
cplint on SWISH: Probabilistic logical inference with a
web browser.
Intelligenza Artificiale, 11(1):4764, © IOS
Press, 2017.
[ bib 
DOI 
.pdf ]

[6]

Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe
Cota.
A web system for reasoning with probabilistic OWL.
Software: Practice and Experience, 47(1):125142,
© Wiley, January 2017.
[ bib 
DOI 
.pdf ]

[7]

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina
Lamma.
A survey of lifted inference approaches for probabilistic logic
programming under the distribution semantics.
International Journal of Approximate Reasoning, 80:313333,
© Elsevier, January 2017.
[ bib 
DOI 
.pdf 
http ]

[8]

Fabrizio Riguzzi and Terrance Swift.
Probabilistic logic programming under the distribution semantics.
In Michael Kifer and Yanhong A. Liu, editors, Declarative Logic
Programming: Theory, Systems, and Applications. Association for Computing
Machinery and Morgan & Claypool, 2017.
[ bib 
.pdf ]

[9]

Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo,
and Giuseppe Cota.
Abductive logic programming for normative reasoning and ontologies.
In Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, and Daisuke
Bekki, editors, New Frontiers in Artificial Intelligence: JSAIisAI 2015
Workshops, LENLS, JURISIN, AAA, HATMASH, TSDAA, ASDHR, and SKL, Kanagawa,
Japan, November 1618, 2015, Revised Selected Papers, volume 10091 of
Lecture Notes in Computer Science, pages 187203, Cham, 2017.
© Springer International Publishing AG, Springer International
Publishing.
[ bib 
DOI ]

[10]

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,
© Springer, 2016.
[ bib 
DOI 
.pdf 
http ]

[11]

Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe
Cota.
Probabilistic logic programming on the web.
Software: Practice and Experience, 46(10):13811396,
© Wiley, October 2016.
[ bib 
DOI 
.pdf ]

[12]

Fabrizio Riguzzi.
Deductive and inductive probabilistic programming (invited talk).
In Arjen Hommersom and Samer Abdallah, editors, Proceedings of
the 3nd International Workshop on Probabilistic Logic Programming (PLP),
volume 1661 of CEUR Workshop Proceedings, pages 11, Aachen, Germany,
2016. © by the authors, Sun SITE Central Europe.
[ bib 
http 
.pdf ]

[13]

Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi,
and Riccardo Zese.
Probabilistic constraint logic theories.
In Arjen Hommersom and Samer Abdallah, editors, Proceedings of
the 3nd International Workshop on Probabilistic Logic Programming (PLP),
volume 1661 of CEUR Workshop Proceedings, pages 1528, Aachen,
Germany, 2016. © by the authors, Sun SITE Central Europe.
[ bib 
http 
.pdf ]

[14]

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina
Lamma.
Scaling structure learning of probabilistic logic programs by
mapreduce.
In Maria Fox and Gal Kaminka, editors, 22nd European Conference
on Artificial Intelligence ECAI 2016, volume 285 of Frontiers in
Artificial Intelligence and Applications, pages 16021603, © CCBYNC 4.0, 2016.
[ bib 
DOI 
http ]

[15]

Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese.
Probabilistic logical inference on the web.
In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea,
editors, Proceedings of the 15th Conference of the Italian Association
for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November  1
December 2016, volume 10037 of Lecture Notes in Computer Science,
pages 351363, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/9783319491301_26.
[ bib 
DOI 
.pdf ]

[16]

Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
Probabilistic hybrid knowledge bases under the distribution
semantics.
In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea,
editors, Proceedings of the 15th Conference of the Italian Association
for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November  1
December 2016, volume 10037 of Lecture Notes in Computer Science,
pages 364376, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/9783319491301_27.
[ bib 
DOI 
.pdf ]

[17]

Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina
Lamma.
Distributed parameter learning for probabilistic ontologies.
In Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto, editors,
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto,
Japan, August 2022, 2015, Revised Selected Papers, volume 9575 of
Lecture Notes in Computer Science, pages 3045, Heidelberg, Germany, 2016.
© Springer International Publishing Switzerland, Springer
International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/9783319405667_3.
[ bib 
DOI 
.pdf ]

[18]

Fabrizio Riguzzi.
The distribution semantics for normal programs with function symbols.
International Journal of Approximate Reasoning, 77:1  19,
© Elsevier, October 2016.
[ bib 
DOI 
.pdf 
http ]

[19]

Fabrizio Riguzzi and Giuseppe Cota.
Probabilistic logic programming tutorial.
The Association for Logic Programming Newsletter, 29(1),
© by the authors, March/April 2016.
[ bib 
http ]

[20]

Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Statistical relational learning for workflow mining.
Intelligent Data Analysis, 20(3):515541, © IOS
Press, April 2016.
[ bib 
DOI 
.pdf ]

[21]

Fabrizio Riguzzi.
Review of Echenim, M.; Peltier, N. A superposition calculus for
abductive reasoning. J. Automat. Reason. 57, no. 2, 97134, 2016. .
Mathematical Reviews, © American Mathematical
Society, December 2016.
[ bib 
http ]

[22]

Fabrizio Riguzzi.
Review of Kaminski, Benjamin Lucien; Katoen, JoostPieter; Matheja,
Christoph; Olmedo, Federico Weakest precondition reasoning for expected
runtimes of probabilistic programs. Programming languages and systems,
364389, Lecture Notes in Comput. Sci., 9632, Springer, Berlin, 2016.
Mathematical Reviews, © American Mathematical
Society, October 2016.
[ bib 
http ]

[23]

Fabrizio Riguzzi.
Review of Drabent, Wlodzimierz On definite program answers and
least Herbrand models. Theory Pract. Log. Program. 16 (2016), no. 4,
498508.
Mathematical Reviews, © American Mathematical
Society, October 2016.
[ bib 
http ]

[24]

Fabrizio Riguzzi.
Review of Jansen, Nils; Kaminski, Benjamin Lucien; Katoen,
JoostPieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle
Conditioning in probabilistic programming. The 31st Conference on the
Mathematical Foundations of Programming Semantics (MFPS XXXI), 199216,
Electron. Notes Theor. Comput. Sci., 319, Elsevier Sci. B. V., Amsterdam,
2015. .
Mathematical Reviews, © American Mathematical
Society, July 2016.
[ bib 
http ]

[25]

Fabrizio Riguzzi.
Review of Alviano, Mario; Faber, Wolfgang Supportedly stable answer
sets for logic programs with generalized atoms. (English summary) Web
reasoning and rule systems, 3044, Lecture Notes in Comput. Sci., 9209,
Springer, 2015. .
Mathematical Reviews, © American Mathematical
Society, April 2016.
[ bib 
http ]

[26]

Fabrizio Riguzzi.
Review of Chowdhury, Md. Solimul; Liu, Fangfang; Chen, Wu; Karimi,
Arash; You, JiaHuai Polynomial approximation to wellfounded semantics for
logic programs with generalized atoms: case studies. Logicbased program
synthesis and transformation, 279296, Lecture Notes in Comput. Sci., 8981,
Springer, 2015.
Mathematical Reviews, © American Mathematical
Society, January 2016.
[ bib 
http ]

[27]

Fabrizio Riguzzi.
Review of Janhunen, Tomi; Niemelä, Ilkka Cumulativity tailored for
nonmonotonic reasoning. Advances in knowledge representation, logic
programming, and abstract argumentation, 96111, Lecture Notes in Comput.
Sci., 9060, Springer, 2015. .
Mathematical Reviews, © American Mathematical
Society, January 2016.
[ bib 
http ]
