|
[69]
|
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, and Fabrizio Riguzzi.
Solving decision theory problems with probabilistic answer set
programming.
Theory and Practice of Logic Programming, 2024.
[ bib |
http |
http ]
|
|
[68]
|
Fabrizio Riguzzi.
Quantum algorithms for weighted constrained sampling and weighted
model counting.
Quantum Machine Intelligence, 6(2):73, 2024.
[ bib |
DOI ]
|
|
[67]
|
Damiano Azzolini and Fabrizio Riguzzi.
Probabilistic answer set programming with discrete and continuous
random variables.
Theory and Practice of Logic Programming, pages 1--32, 2024.
[ bib |
DOI |
http ]
|
|
[66]
|
Damiano Azzolini and Fabrizio Riguzzi.
Fast inference for probabilistic answer set programs via the residual
program.
Theory and Practice of Logic Programming, 2024.
[ bib |
http |
http ]
|
|
[65]
|
Damiano Azzolini, Elisabetta Gentili, and Fabrizio Riguzzi.
Symbolic parameter learning in probabilistic answer set programming.
Theory and Practice of Logic Programming, 2024.
[ bib |
http |
http ]
|
|
[64]
|
Alice Bizzarri, Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Integration between constrained optimization and deep networks: a
survey.
Frontiers in Artificial Intelligence, 7, 2024.
[ bib |
DOI |
http ]
|
|
[63]
|
Arnaud Nguembang Fadja, Giuseppe Cota, Francesco Bertasi, Fabrizio Riguzzi,
Enzo Losi, Lucrezia Manservigi, Mauro Venturini, and Giovanni Bechini.
Machine learning approaches for the prediction of gas turbine
transients.
Journal of Computer Science, 20(5):495--510, Feb 2024.
[ bib |
DOI |
http ]
|
|
[62]
|
Damiano Azzolini and Fabrizio Riguzzi.
Lifted inference for statistical statements in probabilistic answer
set programming.
International Journal of Approximate Reasoning, 163:109040,
2023.
[ bib |
DOI |
http ]
|
|
[61]
|
Tom Schrijvers, Birthe Van Den Berg, and Fabrizio Riguzzi.
Automatic differentiation in prolog.
Theory and Practice of Logic Programming, 23(4):900–917,
2023.
[ bib |
DOI |
.pdf ]
|
|
[60]
|
Salvatore Greco, Alessandro Salatiello, Nicolò Fabbri, Fabrizio Riguzzi,
Emanuele Locorotondo, Riccardo Spaggiari, Alfredo De Giorgi, and Angelina
Passaro.
Rapid assessment of COVID-19 mortality risk with GASS
classifiers.
Biomedicines, 11(3), 2023.
[ bib |
DOI |
http ]
|
|
[59]
|
Alessandro Rocchi, Andrea Chiozzi, Marco Nale, Zeljana Nikolic, Fabrizio
Riguzzi, Luana Mantovan, Alessandro Gilli, and Elena Benvenuti.
A machine learning framework for multi-hazard risk assessment at the
regional scale in earthquake and flood-prone areas.
Applied Sciences, 12(2), 2022.
[ bib |
DOI |
http ]
|
|
[58]
|
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, and
Riccardo Zese.
Abduction with probabilistic logic programming under the distribution
semantics.
International Journal of Approximate Reasoning, 142:41--63,
2022.
[ bib |
DOI |
http ]
|
|
[57]
|
Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Symbolic DNN-Tuner: A Python and ProbLog-based system for
optimizing deep neural networks hyperparameters.
SoftwareX, 17:100957, 2022.
[ bib |
DOI |
http ]
|
|
[56]
|
Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini,
Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi.
Prediction of gas turbine trip: A novel methodology based on random
forest models.
Journal of Engineering for Gas Turbines and Power, 144(3),
2022.
GTP-21-1324.
[ bib |
DOI ]
|
|
[55]
|
Damiano Azzolini and Fabrizio Riguzzi.
Probabilistic logic models for the lightning network.
Cryptography, 6(2), 2022.
[ bib |
DOI |
http |
http ]
|
|
[54]
|
Arnaud Nguembang Fadja, Fabrizio Riguzzi, Giorgio Bertorelle, and Emiliano
Trucchi.
Identification of natural selection in genomic data with deep
convolutional neural network.
BioData Mining, 14(1):51, 2021.
[ bib |
DOI ]
|
|
[53]
|
Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Symbolic DNN-Tuner.
Machine Learning, © Springer, 2021.
[ bib |
DOI ]
|
|
[52]
|
Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma.
Learning hierarchical probabilistic logic programs.
Machine Learning, 110(7):1637--1693, © Springer,
2021.
[ bib |
DOI |
.pdf ]
|
|
[51]
|
Damiano Azzolini and Fabrizio Riguzzi.
Optimizing probabilities in probabilistic logic programs.
Theory and Practice of Logic Programming, 21(5):543--556,
© Cambridge University Press, 2021.
[ bib |
DOI |
http |
.pdf ]
|
|
[50]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
A semantics for hybrid probabilistic logic programs with function
symbols.
Artificial Intelligence, 294:103452, © Elsevier,
2021.
The final publication is available at Elsevier via
https://doi.org/10.1016/j.artint.2021.103452.
[ bib |
DOI |
.pdf ]
|
|
[49]
|
Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini,
Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi.
Structured methodology for clustering gas turbine transients by means
of multi-variate time series.
Journal of Engineering for Gas Turbines and Power,
143(3):031014--1 (13 pages), 2021.
[ bib |
DOI ]
|
|
[48]
|
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina
Lamma.
Probabilistic inductive constraint logic.
Machine Learning, 110:723--754, 2021.
[ bib |
DOI |
.pdf ]
|
|
[47]
|
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio
Riguzzi.
Nonground abductive logic programming with probabilistic integrity
constraints.
Theory and Practice of Logic Programming, 21(5):557--574,
© Cambridge University Press, 2021.
[ bib |
DOI |
http |
.pdf ]
|
|
[46]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and
Riccardo Zese.
Dischargeable obligations in the SCIFF framework.
Fundamenta Informaticae, 176(3-4):321--348, 2020.
[ bib |
DOI ]
|
|
[45]
|
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Fabrizio Riguzzi.
Declarative and mathematical programming approaches to decision
support systems for food recycling.
Engineering Applications of Artificial Intelligence, 95:103861,
2020.
[ bib |
DOI ]
|
|
[44]
|
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese.
MAP inference for probabilistic logic programming.
Theory and Practice of Logic Programming, 20(5):641--655,
© Cambridge University Press, 2020.
[ bib |
DOI |
http |
.pdf ]
|
|
[43]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Studying transaction fees in the bitcoin blockchain with
probabilistic logic programming.
Information, 10(11):335, © CCBY, 2019.
[ bib |
DOI |
http ]
|
|
[42]
|
Arnaud Nguembang Fadja and Fabrizio Riguzzi.
Lifted discriminative learning of probabilistic logic programs.
Machine Learning, 108(7):1111--1135, © Springer,
2019.
[ bib |
DOI ]
|
|
[41]
|
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,
© Cambridge University Press, 2019.
[ bib |
DOI |
.pdf ]
|
|
[40]
|
Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri,
and Miguel Calejo.
Using SWISH to realise interactive web based tutorials for logic
based languages.
Theory and Practice of Logic Programming, 19(2):229--261,
© Cambridge University Press, 2019.
[ bib |
DOI |
.pdf ]
|
|
[39]
|
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 ]
|
|
[38]
|
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, © IOS Press,
2018.
[ bib |
DOI |
.pdf ]
|
|
[37]
|
Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, and Riccardo Zese.
Causal inference in cplint.
International Journal of Approximate Reasoning, 91(Supplement
C):216--232, © Elsevier, December 2017.
[ bib |
DOI |
.pdf ]
|
|
[36]
|
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):47--64, © IOS
Press, 2017.
[ bib |
DOI |
.pdf ]
|
|
[35]
|
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):125--142,
© Wiley, January 2017.
[ bib |
DOI |
.pdf ]
|
|
[34]
|
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(Supplement
C):313--333, © Elsevier, January 2017.
[ bib |
DOI |
.pdf ]
|
|
[33]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe
Cota.
Probabilistic logic programming on the web.
Software: Practice and Experience, 46(10):1381--1396,
© Wiley, October 2016.
[ bib |
DOI |
.pdf ]
|
|
[32]
|
Fabrizio Riguzzi.
The distribution semantics for normal programs with function symbols.
International Journal of Approximate Reasoning, 77(Supplement
C):1 -- 19, © Elsevier, October 2016.
[ bib |
DOI |
.pdf ]
|
|
[31]
|
Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Statistical relational learning for workflow mining.
Intelligent Data Analysis, 20(3):515--541, © IOS
Press, April 2016.
[ bib |
DOI |
.pdf ]
|
|
[30]
|
Nicola Di Mauro, Elena Bellodi, and Fabrizio Riguzzi.
Bandit-based Monte-Carlo structure learning of probabilistic logic
programs.
Machine Learning, 100(1):127--156, © Springer
International Publishing, July 2015.
The original publication is available at
http://link.springer.com.
[ bib |
DOI |
.pdf ]
|
|
[29]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Probabilistic description logics under the distribution semantics.
Semantic Web - Interoperability, Usability, Applicability,
6(5):447--501, 2015.
[ bib |
DOI |
.pdf ]
|
|
[28]
|
Elena Bellodi and Fabrizio Riguzzi.
Structure learning of probabilistic logic programs by searching the
clause space.
Theory and Practice of Logic Programming, 15(2):169--212,
© Cambridge University Press, 2015.
[ bib |
DOI |
http |
http ]
|
|
[27]
|
Fabrizio Riguzzi and Terrance Swift.
Terminating evaluation of logic programs with finite three-valued
models.
ACM Transactions on Computational Logic, 15(4):32:1--32:38,
© ACM, September 2014.
[ bib |
DOI |
http |
.pdf ]
|
|
[26]
|
Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese.
A history of probabilistic inductive logic programming.
Frontiers in Robotics and AI, 1(6):1--5, © by the
authors, 2014.
[ bib |
DOI |
http ]
|
|
[25]
|
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, and
Riccardo Zese.
Lifted variable elimination for probabilistic logic programming.
Theory and Practice of Logic Programming, 14(Special issue 4-5
- ICLP 2014):681--695, © Cambridge University Press, 2014.
[ bib |
DOI |
http ]
|
|
[24]
|
Fabrizio Riguzzi.
Speeding up inference for probabilistic logic programs.
The Computer Journal, 57(3):347--363, © Oxford
University Press, 2014.
[ bib |
DOI |
.pdf ]
|
|
[23]
|
Fabrizio Riguzzi and Terrance Swift.
Well-definedness and efficient inference for probabilistic logic
programming under the distribution semantics.
Theory and Practice of Logic Programming, 13(Special Issue 02 -
25th Annual GULP Conference):279--302, © Cambridge University
Press, March 2013.
[ bib |
DOI |
http ]
|
|
[22]
|
Nicola Di Mauro, Paolo Frasconi, Fabrizio Angiulli, Davide Bacciu, Marco
de Gemmis, Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Marco Gori,
Francesca A. Lisi, Pasquale Lops, Donato Malerba, Alessio Micheli, Marcello
Pelillo, Francesco Ricci, Fabrizio Riguzzi, Lorenza Saitta, and Giovanni
Semeraro.
Italian machine learning and data mining research: The last years.
Intelligenza Artificiale, 7(2):77--89, © IOS
Press, 2013.
[ bib |
DOI ]
|
|
[21]
|
Fabrizio Riguzzi.
MCINTYRE: A Monte Carlo system for probabilistic logic
programming.
Fundamenta Informaticae, 124(4):521--541, © IOS
Press, 2013.
[ bib |
DOI |
.pdf ]
|
|
[20]
|
Elena Bellodi and Fabrizio Riguzzi.
Expectation Maximization over binary decision diagrams for
probabilistic logic programs.
Intelligent Data Analysis, 17(2):343--363, © IOS
Press, 2013.
[ bib |
DOI |
.pdf ]
|
|
[19]
|
Elena Bellodi and Fabrizio Riguzzi.
Experimentation of an expectation maximization algorithm for
probabilistic logic programs.
Intelligenza Artificiale, 8(1):3--18, © IOS
Press, 2012.
[ bib |
DOI |
.pdf ]
|
|
[18]
|
Fabrizio Riguzzi and Nicola Di Mauro.
Applying the information bottleneck to statistical relational
learning.
Machine Learning, 86(1):89--114, © Springer,
2012.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
.pdf ]
|
|
[17]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Learning specifications of interaction protocols and business
processes and proving their properties.
Intelligenza artificiale, 5(1):71--75, February 2011.
[ bib |
DOI |
.pdf ]
|
|
[16]
|
Fabrizio Riguzzi and Terrance Swift.
The PITA system: Tabling and answer subsumption for reasoning under
uncertainty.
Theory and Practice of Logic Programming, 27th International
Conference on Logic Programming (ICLP'11) Special Issue, Lexington, Kentucky
6-10 July 2011, 11(4--5):433--449, © Cambridge University
Press, 2011.
[ bib |
DOI |
http |
.pdf ]
|
|
[15]
|
Fabrizio Riguzzi.
SLGAD resolution for inference on Logic Programs with Annotated
Disjunctions.
Fundamenta Informaticae, 102(3-4):429--466, October 2010.
[ bib |
DOI |
.pdf ]
|
|
[14]
|
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli.
Logic-Based Decision Support for Strategic Environmental
Assessment.
Theory and Practice of Logic Programming, 26th Int'l. Conference
on Logic Programming (ICLP'10) Special Issue, 10(4-6):643--658,
© Cambridge University Press, July 2010.
[ bib |
DOI |
.pdf ]
|
|
[13]
|
Fabrizio Riguzzi.
Extended semantics and inference for the Independent Choice Logic.
Logic Journal of the IGPL, 17(6):589--629, © Fabrizio Riguzzi, exclusively licensed to Oxford University Press, 2009.
[ bib |
DOI |
.pdf ]
|
|
[12]
|
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi,
and Sergio Storari.
Exploiting inductive logic programming techniques for declarative
process mining.
LNCS Transactions on Petri Nets and Other Models of Concurrency,
ToPNoC II, 5460:278--295, © Springer, 2009.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[11]
|
Sergio Storari, Fabrizio Riguzzi, and Evelina Lamma.
Exploiting association and correlation rules parameters for learning
bayesian networks.
Intelligent Data Analysis, 13:689--701, © Sergio
Storari, Fabrizio Riguzzi and Evelina Lamma, exclusively licensed to IOS
Press, 2009.
[ bib |
DOI |
.pdf ]
|
|
[10]
|
Fabrizio Riguzzi.
ALLPAD: Approximate learning of logic programs with annotated
disjunctions.
Machine Learning, 70(2-3):207--223, © Springer,
March 2008.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
.pdf ]
|
|
[9]
|
Evelina Lamma, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, Sergio
Storari, and Gianfranco Valastro.
Artificial intelligence techniques for monitoring dangerous
infections.
IEEE Transaction on Information Technology in Biomedicine,
10(1):143--155, © IEEE, January 2006.
[ bib |
DOI |
.pdf ]
|
|
[8]
|
Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
A system for measuring function points from an ER-DFD
specification.
The Computer Journal, 47(3):358--372, © Evelina
Lamma, Paola Mello and Fabrizio Riguzzi, licensed exclusively to The British
Computer Society, May 2004.
[ bib |
DOI |
.pdf ]
|
|
[7]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision via Lamarckian evolution.
New Generation Computing, 21(3):247--275, © Ohmsha, Ltd. and Springer, August 2003.
[ bib |
DOI |
http |
.pdf ]
|
|
[6]
|
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria
Nanetti.
Discovering validation rules from micro-biological data.
New Generation Computing, 21(2):123--134, © Ohmsha, Ltd. and Springer, February 2003.
[ bib |
DOI |
http |
.pdf ]
|
|
[5]
|
Evelina Lamma, Leonardo Maestrami, Paola Mello, Fabrizio Riguzzi, and Sergio
Storari.
Rule-based programming for building expert systems: a comparison in
the microbiological data validation and surveillance domain.
Electronic Notes in Theoretical Computer Science, 59, September
2001.
[ bib |
DOI |
http |
.pdf ]
|
|
[4]
|
Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi.
An application of machine learning and statistics to defect
detection.
Intelligent Data Analysis, 5(2):151--164, © Rita
Cucchiara, Paola Mello, Massimo Piccardi, Fabrizio Riguzzi, exclusively
licensed to IOS Press, March/April 2001.
[ bib |
DOI |
.pdf ]
|
|
[3]
|
Antonis C. Kakas and Fabrizio Riguzzi.
Abductive concept learning.
New Generation Computing, 18(3):243--294, © Ohmsha, Ltd. and Springer, May 2000.
[ bib |
DOI |
http |
.pdf ]
|
|
[2]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Strategies in combined learning via logic programs.
Machine Learning, 38(1/2):63--87, © Springer
Netherlands, January/February 2000.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[1]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating induction and abduction in logic programming.
Information Sciences, 116(1):25--54, © Elsevier,
May 1999.
[ bib |
DOI |
http |
.pdf ]
|
|
[70]
|
Alice Bizzarri, Brian Jalaian, Fabrizio Riguzzi, and Nathaniel D. Bastian.
A neuro-symbolic artificial intelligence network intrusion detection
system.
In International Conference on Computer Communications and
Networks, ICCCN, 2024.
[ bib |
DOI ]
|
|
[69]
|
Damiano Azzolini and Fabrizio Riguzzi.
Inference in probabilistic answer set programs with imprecise
probabilities via optimization.
In Negar Kiyavash and Joris M. Mooij, editors, Proceedings of
the Fortieth Conference on Uncertainty in Artificial Intelligence, volume
244 of Proceedings of Machine Learning Research, pages 225--234. PMLR,
15--19 Jul 2024.
[ bib |
.html |
.pdf ]
|
|
[68]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
Learning the parameters of probabilistic answer set programs.
In Stephen H. Muggleton and Alireza Tamaddoni-Nezhad, editors,
Inductive Logic Programming - ILP 2022, volume 14363 of Lecture Notes
in Computer Science, pages 1--14, Cham, 2024. Springer Nature Switzerland.
[ bib |
DOI |
http ]
|
|
[67]
|
Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, and
Fabrizio Riguzzi.
Regularization in probabilistic inductive logic programming.
In Elena Bellodi, Francesca Alessandra Lisi, and Riccardo Zese,
editors, Inductive Logic Programming - ILP 2023, volume 14363 of
Lecture Notes in Computer Science, pages 16--29, Cham, 2023. Springer Nature
Switzerland.
[ bib |
DOI |
http ]
|
|
[66]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
Summary of statistical statements in probabilistic logic programming.
volume 385, pages 384 -- 385, 2023.
[ bib |
DOI |
http ]
|
|
[65]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
Towards a representation of decision theory problems with
probabilistic answer set programs.
volume 385, pages 190 -- 191, 2023.
[ bib |
DOI |
http ]
|
|
[64]
|
Damiano Azzolini and Fabrizio Riguzzi.
Inference in probabilistic answer set programming under the credal
semantics.
In Roberto Basili, Domenico Lembo, Carla Limongelli, and Andrea
Orlandini, editors, AIxIA 2023 - Advances in Artificial Intelligence,
volume 14318 of Lecture Notes in Artificial Intelligence, pages
367--380, Heidelberg, Germany, 2023. Springer.
[ bib |
DOI |
http ]
|
|
[63]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
MAP inference in probabilistic answer set programs.
In Agostino Dovier, Angelo Montanari, and Andrea Orlandini, editors,
AIxIA 2022 -- Advances in Artificial Intelligence, pages 413--426,
Cham, 2023. Springer International Publishing.
[ bib |
DOI |
http ]
|
|
[62]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
Approximate inference in probabilistic answer set programming for
statistical probabilities.
In Agostino Dovier, Angelo Montanari, and Andrea Orlandini, editors,
AIxIA 2022 -- Advances in Artificial Intelligence, pages 33--46, Cham,
2023. Springer International Publishing.
[ bib |
DOI |
http ]
|
|
[61]
|
Damiano Azzolini, Elena Bellodi, and Fabrizio Riguzzi.
Statistical statements in probabilistic logic programming.
In Georg Gottlob, Daniela Inclezan, and Marco Maratea, editors,
Logic Programming and Nonmonotonic Reasoning, pages 43--55, Cham, 2022.
Springer International Publishing.
[ bib |
DOI |
http |
.pdf ]
|
|
[60]
|
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, and Evelina Lamma.
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with
Function Symbols.
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl,
Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th
International Conference on Logic Programming (Technical Communications),
volume 364 of Electronic Proceedings in Theoretical Computer Science,
pages 65--78, Waterloo, Australia, 2022. Open Publishing Association.
[ bib |
DOI |
http |
.pdf ]
|
|
[59]
|
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, and
Riccardo Zese.
Abduction in probabilistic logic programs.
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl,
Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th
International Conference on Logic Programming (Technical Communications),
Recently Published Research track, volume 364 of Electronic Proceedings
in Theoretical Computer Science, pages 174--176, Waterloo, Australia, 2022.
Open Publishing Association.
[ bib |
DOI |
http ]
|
|
[58]
|
Michele Fraccaroli, Fabrizio Riguzzi, and Evelina Lamma.
Exploiting parameters learning for hyper-parameters optimization in
deep neural networks.
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl,
Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th
International Conference on Logic Programming (Technical Communications),
Recently Published Research track, volume 364 of Electronic Proceedings
in Theoretical Computer Science, pages 142--144, Waterloo, Australia, 2022.
Open Publishing Association.
[ bib |
DOI |
http ]
|
|
[57]
|
Damiano Azzolini and Fabrizio Riguzzi.
Syntactic requirements for well-defined hybrid probabilistic logic
programs.
In Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik,
Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost
Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International
Conference on Logic Programming (Technical Communications), pages 14--26,
Waterloo, Australia, 2021. © by the authors, Open Publishing
Association.
[ bib |
DOI |
http |
.pdf ]
|
|
[56]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Summary of semantics for hybrid probabilistic logic programs with
function symbols.
In Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik,
Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost
Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International
Conference on Logic Programming (Technical Communications), pages 234--235,
Waterloo, Australia, 2021. © by the authors, Open Publishing
Association.
[ bib |
DOI |
http |
.pdf ]
|
|
[55]
|
Damiano Azzolini and Fabrizio Riguzzi.
Reducing probabilistic logic programs.
In Ahmet Soylu, Alireza Tamaddoni Nezhad, Nikolay Nikolov, Ioan Toma,
Anna Fensel, and Joost Vennekens, editors, Proceedings of the 15th
International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium
at RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021)
and 13th DecisionCAMP 2021 as part of Declarative AI 2021, CEUR Workshop
Proceedings, pages 1--13, Aachen, Germany, 2021. © By the
authors, Sun SITE Central Europe.
[ bib |
.pdf |
.pdf ]
|
|
[54]
|
Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini,
Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi.
Data selection and feature engineering for the application of machine
learning to the prediction of gas turbine trip.
In Proceedings of the ASME Turbo Expo 2021: Turbomachinery
Technical Conference and Exposition, June 7–11, 2021 Virtual, Online,
volume 8, page V008T20A004. ASME, 2021.
[ bib |
DOI ]
|
|
[53]
|
Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini,
Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi.
Prediction of gas turbine trip: a novel methodology based on random
forest models.
In Proceedings of the ASME Turbo Expo 2021: Turbomachinery
Technical Conference and Exposition, June 7–11, 2021 Virtual, Online,
volume 8, page V008T20A005. ASME, 2021.
[ bib |
DOI ]
|
|
[52]
|
Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi.
Automatic setting of DNN hyper-parameters by mixing Bayesian
Optimization and tuning rules.
In Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen,
Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, and Renato Umeton,
editors, Machine Learning, Optimization, and Data Science, 6th
International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised
Selected Papers, Part I, volume 12565 of Lecture Notes in Computer
Science, pages 477--488, Cham, 2020. © Springer, Springer
International Publishing.
The final publication is available at Springer via
https://link.springer.com/chapter/10.1007/978-3-030-64583-0_43.
[ bib |
DOI |
.pdf ]
|
|
[51]
|
Enzo Losi, Mauro Venturini, Lucrezia Manservigi, Giuseppe Fabio Ceschini,
Giovanni Bechini, Giuseppe Cota, and Fabrizio Riguzzi.
Structured methodology for clustering gas turbine transients by means
of multi-variate time series.
In Proceedings of the ASME Turbo Expo 2020: Turbomachinery
Technical Conference and Exposition. Virtual, Online. September 21–25,
2020., volume 9, page V009T21A005. ASME, 2020.
[ bib |
DOI ]
|
|
[50]
|
Fabrizio Riguzzi.
Quantum weighted model counting.
In Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela
Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors,
24th European Conference on Artificial Intelligence (ECAI 2020), pages
2640--2647, Amsterdam, Berlin, Washington DC, 2020. © CC BY-NC
4.0, IOS Press.
[ bib |
DOI |
http |
.pdf ]
|
|
[49]
|
Damiano Azzolini, Elena Bellodi, Alessandro Brancaleoni, Fabrizio Riguzzi, and
Evelina Lamma.
Modeling bitcoin lightning network by logic programming.
In Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone,
Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca
Lisi, Marco Maratea, Alessandra Mileo, and Fabrizio Riguzzi, editors,
Proceedings of the 36th International Conference on Logic Programming
(Technical Communications), pages 258--260, Waterloo, Australia, 2020.
© by the authors, Open Publishing Association.
[ bib |
DOI |
http |
http ]
|
|
[48]
|
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, and Franco Masotti.
A comparison of MCMC sampling for probabilistic logic programming.
In Mario Alviano, Gianluigi Greco, and Francesco Scarcello, editors,
Proceedings of the 18th Conference of the Italian Association for
Artificial Intelligence (AI*IA2019), Rende, Italy 19-22 November 2019,
volume 11946 of Lecture Notes in Computer Science, pages 18--29,
Heidelberg, Germany, 2019. © Springer, Springer.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-35166-3_2.
[ bib |
DOI |
.pdf ]
|
|
[47]
|
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.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-03840-3_22.
[ bib |
DOI |
.pdf ]
|
|
[46]
|
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 ]
|
|
[45]
|
Arnaud Nguembang Fadja and Fabrizio Riguzzi.
Lifted discriminative learning of probabilistic logic programs.
In Nicolas Lachiche and Christel Vrain, editors, 27th
International Conference on Inductive Logic Programming, ILP 2017, 2017.
[ bib |
.pdf ]
|
|
[44]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese
Riccardo.
Dischargeable obligations in abductive logic programming.
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman
Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and
Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July
12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer
Science, pages 7--21, Cham, 2017. © Springer International
Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-61252-2_2.
[ bib |
DOI |
.pdf ]
|
|
[43]
|
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 172--175. Springer, Cham, © Springer International
Publishing AG, 2017.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-58694-6_25.
[ bib |
DOI |
.pdf ]
|
|
[42]
|
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: JSAI-isAI 2015
Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa,
Japan, November 16-18, 2015, Revised Selected Papers, volume 10091 of
Lecture Notes in Computer Science, pages 187--203, Cham, 2017.
© Springer International Publishing AG, Springer International
Publishing.
[ bib |
DOI ]
|
|
[41]
|
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 1602--1603. IOS Press,
© CC-BY-NC 4.0, 2016.
[ bib |
DOI |
http ]
|
|
[40]
|
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 351--363, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-49130-1_26.
[ bib |
DOI |
.pdf ]
|
|
[39]
|
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 364--376, Heidelberg, Germany, 2016. © Springer
International Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-49130-1_27.
[ bib |
DOI |
.pdf ]
|
|
[38]
|
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 20-22, 2015, Revised Selected Papers, volume 9575 of
Lecture Notes in Computer Science, pages 30--45, Heidelberg, Germany, 2016.
© Springer International Publishing Switzerland, Springer
International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-40566-7_3.
[ bib |
DOI |
.pdf ]
|
|
[37]
|
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
An abductive framework for Datalog+- ontologies.
In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni,
editors, Technical Communications of the 31st Int'l. Conference on Logic
Programming (ICLP 2015), number 1433 in CEUR Workshop Proceedings, Aachen,
Germany, 2015. © by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[36]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Reasoning with probabilistic ontologies.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of
the Twenty-Fourth International Joint Conference on Artificial Intelligence,
Buenos Aires, Argentina, 25-31 July 2015, pages 4310--4316, Palo Alto,
California USA, 2015. © International Joint Conferences on
Artificial Intelligence, AAAI Press / International Joint Conferences on
Artificial Intelligence.
[ bib |
.pdf ]
|
|
[35]
|
Fabrizio Riguzzi and Terrance Swift.
The PITA system for logical-probabilistic inference.
In Stephen H. Muggleton and Hiroaki Watanabe, editors, Latest
Advances in Inductive Logic Programming, Inductive Logic Programming, 21th
International Conference, ILP 2011, Late Breaking papers, London, UK, 31
July-3 August, 2011, pages 79--86, Longon, UK, 2014. © World
Scientific, World Scientific.
[ bib |
DOI |
.pdf ]
|
|
[34]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Learning the parameters of probabilistic description logics.
In Gerson Zaverucha, Vitor Santos Costa, and Aline Marins Paes,
editors, Late Breaking papers of the 23rd International Conference on
Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th to 30th,
2013, volume 1187 of CEUR Workshop Proceedings, pages 46--51, Aachen,
Germany, 2014. © by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[33]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Computing instantiated explanations in OWL DL.
In Matteo Baldoni, Cristina Baroglio, and Guido Boella, editors,
Proceedings of the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA2013), Turin, Italy, 4-6 December 2013, volume 8249 of
Lecture Notes in Artificial Intelligence, pages 397--408, Heidelberg,
Germany, 2013. © Springer, Springer.
The original publication is available at
http://link.springer.com.
[ bib |
DOI |
.pdf ]
|
|
[32]
|
Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese.
BUNDLE: A reasoner for probabilistic ontologies.
In Wolfgang Faber and Domenico Lembo, editors, 7th International
Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany,
July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer
Science, pages 183--197, Heidelberg, Germany, 2013. © Springer, Springer.
The original publication is available at
http://link.springer.com.
[ bib |
DOI |
.pdf ]
|
|
[31]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Parameter learning for probabilistic ontologies.
In Wolfgang Faber and Domenico Lembo, editors, 7th International
Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany,
July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer
Science, pages 265--270, Heidelberg, Germany, 2013. © Springer, Springer.
The original publication is available at
http://link.springer.com.
[ bib |
DOI |
.pdf ]
|
|
[30]
|
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli.
Constraint and optimization techniques for supporting policy making.
In International Symposium on Artificial Intelligence and
Mathematics (ISAIM 2012), Fort Lauderdale, Florida, USA, January 9-11, 2012,
2012.
[ bib |
.pdf ]
|
|
[29]
|
Elena Bellodi and Fabrizio Riguzzi.
Learning the structure of probabilistic logic programs.
In Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A.
Lisi, editors, Inductive Logic Programming 21st International
Conference, ILP 2011, London, UK, July 31 - August 3, 2011. Revised Papers,
volume 7207 of LNCS, pages 61--75, Heidelberg, Germany, 2012.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
.pdf ]
|
|
[28]
|
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro
Cangini, and Paolo Cagnoli.
An application of fuzzy logic to strategic environmental assessment.
In Roberto Pirrone and Filippo Sorbello, editors, Proceedings of
the 12th Congress of the Italian Association for Artificial Intelligence,
Palermo, 15-17 September 2011, volume 6934 of Lecture Notes in
Artificial Intelligence, pages 324--335, Heidelberg, Germany, 2011.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[27]
|
Stefano Bragaglia and Fabrizio Riguzzi.
Approximate inference for logic programs with annotated disjunctions.
In Paolo Frasconi and Francesca Lisi, editors, Inductive Logic
Programming 20th International Conference, ILP 2010, Florence, Italy, June
27-30, 2010. Revised Papers, volume 6489 of LNCS, pages 30--37,
Heidelberg, Germany, 2011. © Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
.pdf |
http ]
|
|
[26]
|
Fabrizio Riguzzi and Terrance Swift.
Tabling and Answer Subsumption for Reasoning on Logic
Programs with Annotated Disjunctions.
In M. Hermenegildo and T. Schaub, editors, Technical
Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10),
volume 7 of Leibniz International Proceedings in Informatics (LIPIcs),
pages 162--171, Dagstuhl, Germany, July 2010. License Creative Commons
Attribution-Noncommercial-No Derivative Works 3.0, Schloss
Dagstuhl--Leibniz-Zentrum fuer Informatik.
[ bib |
DOI |
http ]
|
|
[25]
|
Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Probabilistic declarative process mining.
In Yaxin Bi and Mary-Anne Williams, editors, Proceedings of the
4th International Conference on Knowledge Science, Engineering & Management
(KSEM 2010), Belfast, UK, September 1-3, 2010, volume 6291 of Lecture
Notes in Computer Science, pages 292--303, Heidelberg, Germany, 2010.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
.pdf |
http ]
|
|
[24]
|
Fabrizio Riguzzi.
Inference with logic programs with annotated disjunctions under the
well founded semantics.
In Logic Programming, 24th International Conference, ICLP 2008,
Udine, Italy, December 9-13, 2008, Proceedings, volume 5366 of Lecture
Notes in Computer Science, pages 667--771, Heidelberg, Germany, 2008.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[23]
|
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari.
Applying inductive logic programming to process mining.
In Proceedings of the 17th International Conference on Inductive
Logic Programming, volume 4894 of Lecture Notes in Artificial
Intelligence, pages 132--146, Heidelberg, Germany, 2008. © Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[22]
|
Fabrizio Riguzzi.
ALLPAD: Approximate learning of logic programs with annotated
disjunctions.
In Stephen Muggleton and Ramon Otero, editors, Proceedings of
the 16th International Conference on Inductive Logic Programming, volume
4455 of Lecture Notes in Artificial Intelligence, pages 43--45,
Heidelberg, Germany, 2007. © Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[21]
|
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio
Storari.
Inducing declarative logic-based models from labeled traces.
In Proceedings of the 5th International Conference on Business
Process Management, volume 4714 of Lecture Notes in Computer Science,
pages 344--359, Heidelberg, Germany, 2007. © Springer,
Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[20]
|
Fabrizio Riguzzi.
A top down interpreter for LPAD and CP-logic.
In Proceedings of the 10th Congress of the Italian Association
for Artificial Intelligence, volume 4733 of Lecture Notes in Artificial
Intelligence, pages 109--120, Heidelberg, Germany, 2007. © Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[19]
|
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Stefano
Volinia.
Bayesian networks learning for gene expression datasets.
In Advances in Intelligent Data Analysis VI: 6th International
Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain,
September 8-10, 2005. Proceedings, volume 3646 of Lecture Notes in
Computer Science, pages 109--120, Heidelberg, Germany, September 2005.
© Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[18]
|
Fabrizio Riguzzi.
Learning logic programs with annotated disjunctions.
In A Srinivasan and R. King, editors, Inductive Logic
Programming: 14th International Conference, ILP 2004, Porto, Portugal,
September 6-8, 2004. Proceedings, volume 3194 of Lecture Notes in
Artificial Intelligence, pages 270--287, Heidelberg, Germany, September
2004. © Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[17]
|
Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Exploiting association and correlation rules parameters for improving
the k2 algorithm.
In Ramon Lopez de Mantaras and Lorenza Saitta, editors,
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI
2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004,
Valencia, Spain, August 22-27, 2004, volume 110 of Frontiers in
Artificial Intelligence and Applications, pages 500--504, Amsterdam,
The Netherlands, August 2004. IOS Press.
[ bib |
.pdf |
.pdf ]
|
|
[16]
|
Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Improving the k2 algorithm using association rules parameters.
In B. Bouchon-Meunier, G. Coletti, and R. R. Yager, editors,
Information Processing and Management of Uncertainty in Knowledge-Based
Systems (IPMU2004), Perugia, 4-9 July 2004, pages 1667--1674, Rome,
Italy, July 2004. Editrice Università La Sapienza.
[ bib |
.pdf ]
|
|
[15]
|
Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, and Sergio Storari.
Improving the SLA algorithm using association rules.
In Amedeo Cappelli and Franco Turini, editors, AI*IA 2003:
Advances in Artificial Intelligence: 8th Congress of the Italian Association
for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings,
volume 2829 of Lecture Notes on Artificial Intelligence, pages
165--175, Heidelberg, Germany, September 2003. © Springer,
Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[14]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision via Lamarckian evolution.
In Claudio Delrieux, editor, Second International Workshop on
Computational Models of Scientific Reasoning And Applications (II CMSRA) held
at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, June
27, 2002, pages 1--7, Bogart, Georgia, USA, June 2002. CSREA.
[ bib |
.pdf |
.pdf ]
|
|
[13]
|
Evelina Lamma, Giuseppe Modestino, Fabrizio Riguzzi, Sergio Storari, Paola
Mello, and Annamaria Nanetti.
An intelligent medical system for microbiological data validation and
nosocomial infection surveillance.
In P. Kokol, B. Stiglic, M. Zorman, and D. Zazula, editors, The
15th International Conference on Computer Based Medical Systems (CBMS 2002),
Maribor, Slovenia, 4-7 June 2002, pages 13--20, Los Alamitos, California,
USA, June 2002. IEEE Press.
[ bib |
DOI |
http |
.pdf ]
|
|
[12]
|
Evelina Lamma, Paola Mello, Annamaria Nanetti, Gianluca Poli, Fabrizio Riguzzi,
and Sergio Storari.
An expert system for microbiological data validation and
surveillance.
In J. Crespo and F. Maojo, V.and Martin, editors, Medical Data
Analysis: Second International Symposium, ISMDA 2001 Madrid, Spain, October
8-9, 2001 Proceedings, volume 2199 of Lecture Notes on Computer
Science, pages 153--160, Heidelberg, Germany, October 2001.
© Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[11]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision by Lamarckian evolution.
In E.J.W. Boers, J. Gottlieb, P.L. Lanzi, R.E. Smith, S. Cagnoni,
E. Hart, G.R. Raidl, and H. Tijink, editors, Applications of
Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP,
EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, volume
2037 of Lecture Notes on Computer Science, page 404–413,
Heidelberg, Germany, April 2001. © Springer, Springer-Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[10]
|
Evelina Lamma, Marco Manservigi, Paola Mello, Roberto Serra, Sergio Storari,
and Fabrizio Riguzzi.
A system for monitoring nosocomial infections.
In R. W. Brause and E. Hanisch, editors, Medical Data Analysis:
First International Symposium, ISMDA 2000, Frankfurt, Germany, September
29-30, 2000. Proceedings, volume 1933 of Lecture Notes on Computer
Science, pages 282--292, Heidelberg, Germany, September 2000.
© Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[9]
|
Michela Milano, Andrea Omicini, and Fabrizio Riguzzi.
Adopting an object-oriented data model in inductive logic
programming.
In Amruth N. Kumar and Ingrid Russell, editors, Proceedings of
the 12th International FLAIRS Conference (FLAIRS99), 3--5 May 1999, Orlando,
Florida, USA, pages 273--279, Menlo Park, California, May 1999. AAAI.
[ bib |
.pdf ]
|
|
[8]
|
Antonis Kakas, Evelina Lamma, and Fabrizio Riguzzi.
Learning multiple predicates.
In Artificial Intelligence: Methodology, Systems, and
Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria,
September 21-23, 1998. Proceedings, volume 1480 of Lecture Notes on
Artificial Intelligence, pages 303--316, Heidelberg, Germany, September
1998. © Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[7]
|
Fabrizio Riguzzi.
Integrating abduction and induction.
In Henri Prade, editor, Proceedings of the 13th European
Conference on Artificial Intelligence (ECAI98), Brighton, UK, August 23--28
1998, pages 475--476, Chichester, UK, August 1998. John Wiley and Sons.
[ bib |
.pdf ]
|
|
[6]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
A system for abductive learning of logic programs.
In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Logic
Programming and Knowledge Representation: Third International Workshop,
LPKR'97, Port Jefferson, New York, USA, October 17, 1997. Selected Papers,
volume 1471 of Lecture Notes on Computer Science, pages 102--122,
Hidelberg, Germany, June 1998. © Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[5]
|
Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
A system for measuring function points.
In Proceedings of the 6th International Conference on Practical
Applications of Prolog and 4th International Conference on Practical
Applications of Constraint Technology (PAPPACT98), London, March 1998, pages
41--60, London, UK, March 1998. The Practical Application Company Ltd.
[ bib |
.pdf ]
|
|
[4]
|
Antonis C. Kakas and Fabrizio Riguzzi.
Learning with abduction.
In Inductive Logic Programming: 7th International Workshop,
ILP-97 Prague, Czech Republic, September 17-20, 1997 Proceedings, volume
1297 of Lecture Notes on Artificial Intelligence, pages 181 -- 188,
Heidelberg, Germany, September 1997. © Springer, Springer
Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[3]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Introducing abduction into (extensional) inductive logic programming
systems.
In M. Lenzerini, editor, AI*IA 97: Advances in Artificial
Intelligence: 5th Congress of the Italian Association for Artificial
Intelligence Rome, Italy, September 17-19, Proceedings, volume 1321 of
Lecture Notes on Artificial Intelligence, pages 183 -- 194, Heidelberg,
Germany, September 1997. © Springer, Springer Verlag.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[2]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
An algorithm for learning abductive rules.
In Moreno Falaschi, Marisa Navarro, and Alberto Policriti, editors,
Proceedings of the APPIA-GULP-PRODE 97 Joint Conference on Declarative
Programming, Grado, Italy, 16--19 June 1997, pages 295--305. Dipartimento di
Matematica e Informatica, Università di Udine and Gruppo Ricercatore e
Utenti di Logic Programming, June 1997.
[ bib |
.pdf ]
|
|
[1]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating induction and abduction in logic programming.
In Paul P. Wang, editor, Proceedings of the Third Joint
Conference on Information Sciences, 1--5 March 1997, Raleigh, North
Carolina, volume 2, pages 203--206, Research Triangle Park, North Carolina,
USA, March 1997. Duke University.
[ bib |
.pdf ]
|
|
[56]
|
Damiano Azzolini, Elisabetta Gentili, and Fabrizio Riguzzi.
Link prediction in knowledge graphs with probabilistic logic
programming: Work in progress.
In Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta,
Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Ruckschloss,
Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkamper, and
Adam Wyner, editors, Proceedings of the International Conference on
Logic Programming 2023 Workshops co-located with the 39th International
Conference on Logic Programming (ICLP 2023), volume 3437 of CEUR
Workshop Proceedings, pages 1--4. CEUR-WS.org, 2023.
[ bib |
.pdf ]
|
|
[55]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Semantics for hybrid probabilistic logic programs with function
symbols: Technical summary.
In Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber,
Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc,
Michael Morak, Elmer Salazar, and Jessica Zangari, editors, Proceedings
of the International Conference on Logic Programming 2022 Workshops
co-located with the 38th International Conference on Logic Programming (ICLP
2022), volume 3193 of CEUR Workshop Proceedings, pages 1--5, Aachen,
Germany, 2022. Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[54]
|
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma.
A probabilistic logic model of lightning network.
In Witold Abramowicz, Sören Auer, and Milena Stróżyna,
editors, Business Information Systems Workshops, Lecture Notes in
Business Information Processing (LNBIP), pages 321--333, Cham, Switzerland,
2022. Springer International Publishing.
[ bib |
DOI |
http |
.pdf ]
|
|
[53]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
An analysis of Gibbs sampling for probabilistic logic programs.
In Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge
Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, and
Jessica Zangari, editors, Workshop on Probabilistic Logic Programming
(PLP 2020), volume 2678 of CEUR Workshop Proceedings, pages 1--13,
Aachen, Germany, 2020. © by the authors, Sun SITE Central
Europe.
[ bib |
.pdf ]
|
|
[52]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Modeling smart contracts with probabilistic logic programming.
In Witold Abramowicz and Gary Klein, editors, Business
Information Systems Workshops, volume 394 of Lecture Notes in Business
Information Processing, pages 86--98, Cham, 2020. © Springer,
Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-61146-0_7.
[ bib |
DOI |
.pdf ]
|
|
[51]
|
Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma.
Analyzing transaction fees with probabilistic logic programming.
In Witold Abramowicz and Rafael Corchuelo, editors, Business
Information Systems Workshops BIS 2019, volume 373 of Lecture Notes in
Business Information Processing, pages 243--254, Cham, 2019. © Springer, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-36691-9_21.
[ bib |
DOI |
.pdf ]
|
|
[50]
|
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 ]
|
|
[49]
|
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 ]
|
|
[48]
|
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 ]
|
|
[47]
|
Fabrizio Riguzzi, Jan Wielemaker, and Riccardo Zese.
Probabilistic inference in SWI-Prolog.
In Elena Bellodi and Tom Schrijvers, editors, Probabilistic
Logic Programming (PLP 2018), volume 2219 of CEUR Workshop
Proceedings, pages 15--27, Aachen, Germany, 2018. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[46]
|
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 ]
|
|
[45]
|
Cristian Zambelli, Giuseppe Cancelliere, Fabrizio Riguzzi, Evelina Lamma, Piero
Olivo, Alessia Marelli, and Rino Micheloni.
Characterization of TLC 3D-NAND flash endurance through machine
learning for LDPC code rate optimization.
In 2017 IEEE International Memory Workshop (IMW), pages 1--4.
IEEE, May 2017.
[ bib |
DOI ]
|
|
[44]
|
Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese.
A distribution semantics for non-DL-safe probabilistic hybrid
knowledge bases.
In Christian Theil Have and Riccardo Zese, editors, 4th
International Workshop on Probabilistic logic programming, PLP 2017, volume
1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017.
Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[43]
|
Arnaud Nguembang Fadja, Evelina Lamma, and Fabrizio Riguzzi.
Deep probabilistic logic programming.
In Christian Theil Have and Riccardo Zese, editors,
Proceedings of the 4th International Workshop on Probabilistic logic
programming, (PLP 2017), volume 1916 of CEUR Workshop Proceedings,
pages 3--14, Aachen, Germany, 2017. Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[42]
|
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
Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on
Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent
Agents 2016 co-located with 15th International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2016), volume 1802 of
CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017.
© by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
|
[41]
|
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 1--1, Aachen, Germany,
2016. © by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
|
[40]
|
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 15--28, Aachen,
Germany, 2016. © by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
|
[39]
|
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio
Riguzzi.
Learning probabilistic ontologies with distributed parameter
learning.
In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of
the Doctoral Consortium (DC) co-located with the 14th Conference of the
Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of
CEUR Workshop Proceedings, pages 7--12, Aachen, Germany, 2015.
© by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[38]
|
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Tableau reasoners for probabilistic ontologies exploiting logic
programming techniques.
In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of
the Doctoral Consortium (DC) co-located with the 14th Conference of the
Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of
CEUR Workshop Proceedings, pages 1--6, Aachen, Germany, 2015.
© by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[37]
|
Fabrizio Riguzzi.
The distribution semantics is well-defined for all normal programs.
In Fabrizio Riguzzi and Joost Vennekens, editors, Proceedings of
the 2nd International Workshop on Probabilistic Logic Programming (PLP),
volume 1413 of CEUR Workshop Proceedings, pages 69--84, Aachen,
Germany, 2015. © by the authors, Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
|
[36]
|
Jan Wielemaker, Torbjörn Lager, and Fabrizio Riguzzi.
SWISH: SWI-Prolog for sharing.
In Stefan Ellmauthaler and Claudia Schulz, editors,
International Workshop on User-Oriented Logic Programming (IULP 2015),
© by the authors, 2015.
[ bib |
http ]
|
|
[35]
|
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio
Riguzzi.
Structure learning with distributed parameter learning for
probabilistic ontologies.
In Jaakko Hollmen and Panagiotis Papapetrou, editors, Doctoral
Consortium of the European Conference on Machine Learning and Principles and
Practice of Knowledge Discovery in Databases, pages 75--84, © by the authors, 2015.
[ bib |
http |
http ]
|
|
[34]
|
Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi.
Logic programming techniques for reasoning with probabilistic
ontologies.
In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure
Mugnier, Eduardo Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann,
Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and
Daniele Porello, editors, Joint Ontology Workshops 2015, JOWO 2015 -
Episode 1: The Argentine Winter of Ontology; Buenos Aires; Argentina; 25 July
2015 through 27 July 2015, volume 1517 of CEUR Workshop Proceedings,
Aachen, Germany, 2015. © CC0
https://creativecommons.org/publicdomain/zero/1.0/, Sun SITE Central
Europe.
[ bib |
.pdf ]
|
|
[33]
|
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese.
Epistemic and statistical probabilistic ontologies.
In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Nicola
Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor
Martin, Matthias Nickles, and Michael Pool, editors, Proceedings of the
8th International Workshop on Uncertain Reasoning for the Semantic Web
(URSW2012), Boston, USA, 11 November 2012, number 900 in CEUR Workshop
Proceedings, pages 3--14, Aachen, Germany, 2012. Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[32]
|
Elena Bellodi and Fabrizio Riguzzi.
Parameter and structure learning algorithms for statistical
relational learning.
In Paolo Liberatore, Michele Lombardi, and Floriano Scioscia,
editors, Doctoral Consortium of the 12th AI*IA Symposium on Artificial
Intelligence, Proceedings of the Doctoral Consortium of the 12th Symposium of
the Italian Association for Artificial Intelligence Rome, Italy, June 15,
2012, volume 926 of CEUR Workshop Proceedings, pages 5--9, Aachen,
Germany, 2012. © by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[31]
|
Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma.
Probabilistic Datalog+/- under the distribution semantics.
In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors,
Proceedings of the 25th International Workshop on Description Logics
(DL2012), Roma, Italy, 7-10 June 2012, volume 846 of CEUR Workshop
Proceedings, pages 519--529, Aachen, Germany, 2012. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf |
.pdf ]
|
|
[30]
|
Elena Bellodi and Fabrizio Riguzzi.
An Expectation Maximization algorithm for probabilistic logic
programs.
In Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, and Giuseppe
Manco, editors, Proceedings of the Workshop on Mining Complex Patterns
(MCP2011), 17 September 2011, pages 26--37, Palermo, Italy,
© by the authors, September 2011.
[ bib |
.pdf ]
|
|
[29]
|
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Simone Albani.
A distribution semantics for probabilistic ontologies.
In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Claudia
d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas
Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors,
Proceedings ot the 7th International Workshop on Uncertainty Reasoning for
the Semantic Web, Bonn, Germany, 23 October, 2011, volume 778 of CEUR
Workshop Proceedings, pages 75--86, Aachen, Germany, 2011. Sun SITE
Central Europe.
[ bib |
.pdf |
.pdf ]
|
|
[28]
|
Fabrizio Riguzzi and Terrance Swift.
Tabling and answer subsumption for reasoning on logic programs with
annotated disjunctions.
In Marco Gavanelli and Toni Mancini, editors, Proceedings of the
17th RCRA International Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion, Bologna, Italy, June
10-11, 2010, volume 616 of CEUR Workshop Proceedings, pages 1--10,
Aachen, Germany, 2010. Sun SITE Central Europe.
[ bib |
http |
.pdf ]
|
|
[27]
|
Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma.
Mining probabilistic declarative process models.
In Marco Gavanelli and Toni Mancini, editors, Session
R.i.C.e.R.c.A: RCRA Incontri E Confronti of the 16th RCRA International
Workshop on Experimental evaluation of algorithms for solving problems with
combinatorial explosion (RCRA 2009) Reggio Emilia, Italy, 11-12 December
2009, 2009.
[ bib |
.pdf ]
|
|
[26]
|
Stefano Bragaglia and Fabrizio Riguzzi.
Approximate inference for logic programs with annotated disjunctions.
In Marco Gavanelli and Toni Mancini, editors, Session
R.i.C.e.R.c.A: RCRA Incontri E Confronti of the 16th RCRA International
Workshop on Experimental evaluation of algorithms for solving problems with
combinatorial explosion (RCRA 2009) Reggio Emilia, Italy, 11-12 December
2009, 2009.
[ bib |
.pdf ]
|
|
[25]
|
Fabrizio Riguzzi.
The SLGAD procedure for inference on Logic Programs with Annotated
Disjunctions.
In Marco Gavanelli and Toni Mancini, editors, Proceedings of the
15th RCRA workshop on Experimental Evaluation of Algorithms for Solving
Problems with Combinatorial Explosion Udine, Italy, December 12-13, 2008,
volume 451 of CEUR Workshop Proceedings, Aachen, Germany, 2009.
© by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[24]
|
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio
Sebastianis, and Sergio Storari.
Checking compliance of execution traces to business rules.
In Proceedings of the 4th Workshop on Business Process
Intelligence (BPI 08), volume 17 of Lecture Notes in Business
Information Processing, pages 129--140, Heidelberg, Germany, 2009.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[23]
|
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Marco
Montali.
Learning decserflow models from labeled traces.
In Proceedings of the 1st International Workshop on the
Induction of Process Models, 2007.
[ bib |
.pdf ]
|
|
[22]
|
Fabrizio Riguzzi.
A top down interpreter for LPAD and CP-logic.
In Proceedings of the 14th RCRA workshop Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, 2007.
[ bib |
.pdf ]
|
|
[21]
|
Fabrizio Riguzzi.
Learning ground problog programs from interpretations.
In Proceedings of the 6th Workshop on Multi-Relational Data
Mining (MRDM07), 2007.
[ bib |
.pdf ]
|
|
[20]
|
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara
Scapoli.
Combining apriori and bootstrap techniques for marker analysis.
In Proceedings of the Workshop Data Mining in Functional
Genomics and Proteomics: Current Trends and Future Directions, 2007.
[ bib |
.pdf ]
|
|
[19]
|
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara
Scapoli.
Marker analysis with apriori-based algorithms.
In Melanie Hilario and Claire Nédellec, editors, Notes from
the Workshop on Data and Text Mining for Integrative Biology of the 17th
European Conference on Machine Learning (ECML'2006) and the 10th European
Conference on Principles and Practice of Knowledge Discovery in Databases
(PKDD'2006), pages 61--66, Berlin, Germany, September 2006.
[ bib |
.pdf |
.pdf ]
|
|
[18]
|
Fabrizio Riguzzi.
Two results regarding refinement operators.
In S. Kramer and B. Pfahringer, editors, Late Breaking Papers,
15th International Workshop on Inductive Logic Programming (ILP05), Bonn,
Germany, August 10--13, 2005, pages 53--58, München, Germany, July
2005. Technische Universität München.
Report TUM--I0510.
[ bib |
.pdf ]
|
|
[17]
|
Fabrizio Riguzzi.
A simple approach to a multi-label classification problem.
In S. Kramer and B. Pfahringer, editors, Discovery Challenge,
Late Breaking Papers, 15th International Workshop on Inductive Logic
Programming (ILP05), Bonn, Germany, August 10--13, 2005, pages 105--110,
München, Germany, July 2005. Technische Universität München.
Report TUM--I0510.
[ bib |
.pdf ]
|
|
[16]
|
Fabrizio Riguzzi.
Classification and visualization on the hepatitis dataset.
In Petr Berka and Bruno Cremilleux, editors, ECML/PKDD 2004
Discovery Challenge, Pisa, 20-24 September 2004, September 2004.
[ bib |
.ps |
.pdf ]
|
|
[15]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision by multi-agent genetic search.
In ICLP01 2nd International Workshop on Computational Logic
for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001.
[ bib |
.pdf ]
|
|
[14]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
A system for multi-agent belief revision by genetic search.
In ICLP01 2nd International Workshop on Computational Logic
for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001.
[ bib |
.pdf ]
|
|
[13]
|
Evelina Lamma, Marco Manservigi, Paola Mello, Annamaria Nanetti, Fabrizio
Riguzzi, and Sergio Storari.
The automatic discovery of alarm rules for the validation of
microbiological data.
In R. Bellazzi, B. Zupan, and X. Liu, editors, 6th Internationl
Workshop on Intelligent Data Analysis In Medicine And Pharmacology
(IDAMAP2001), pages 1--7, London, UK, September 2001.
[ bib |
.pdf ]
|
|
[12]
|
Evelina Lamma, Marco Manservigi, Paola Mello, Fabrizio Riguzzi, Roberto Serra,
and Sergio Storari.
A system for monotoring nosocomial infections.
In Nada Lavrač, Silvia Miksch, and Branko Kavšek, editors,
ECAI2000 Workshop on Intelligent Data Analysis in Medicine and
Pharmacology (IDAMAP-2000), Berlin, 20-25 August 2000, pages 17--19,
Berlin, Germany, August 2000. ECAI Workshop Notes.
[ bib |
.pdf ]
|
|
[11]
|
Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi.
An application of machine learning and statistics to defect
detection.
In Floriana Esposito and Donato Malerba, editors, ECAI2000
Workshop on Machine Learning in Computer Vision (MLCV00), Berlin, 22 August
2000, Berlin, Germany, August 2000. ECAI Workshop Notes.
[ bib |
.pdf ]
|
|
[10]
|
Evelina Lamma, Luís Moniz Pereira, and Fabrizio Riguzzi.
Logic aided Lamarckian evolution.
In Pavel Brazdil and Ryszard S. Michalski, editors, Procs. of
Multi-Strategy Learning Workshop (MSL00), Guimarães, Portugal, pages
59--73, Porto, Portugal, June 2000. LIAAC - Universidade do Porto.
[ bib |
.pdf ]
|
|
[9]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Agents learning in a three-valued logical setting.
In Workshop on Machine Learning and Intelligent Agents Advanced
Course on Artificial Intelligence 1999 (ACAI'99), Crete, Greece, July 1999.
[ bib |
.pdf ]
|
|
[8]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Learning three-valued logic programs.
In S. Dzeroski and P. Flach, editors, Late Breaking Paper, 9th
International Workshop on Inductive Logic Programming (ILP99), Bled,
Slovenia, June 1999.
[ bib |
.pdf ]
|
|
[7]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Strategies for learning with extended logic programs.
In Floriana Esposito, Ryszard Michalski, and Lorenza Saitta, editors,
Proceedings of the Fourth International Workshop on Multistrategy
Learning (MSL98), Desenzano del Garda, Italy, 11--13 June 1998, pages
99--108, Torino, Italy, June 1998. Dipartimento di Informatica,
Università di Torino.
[ bib ]
|
|
[6]
|
Fabrizio Riguzzi.
Learning in a three-valued setting.
In Proceedings of the CompulogNet Area Meeting “Computational
Logic and Machine Learning”, June 1998, Bristol, UK, pages 63--69,
Manchester, UK, June 1998. University of Manchester.
[ bib |
.pdf ]
|
|
[5]
|
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Learning with extended logic programs.
In Juergen Dix and Jorge Lobo, editors, Proceedings of the Logic
Programming track of the Seventh International Workshop on Nonmonotonic
Reasoning (LP-NMR98), Trento, Italy, May 30 - June 1, 1998, pages 1--9,
Koblenz, Germany, May 1998. Universität Koblenz-Landau, Institut für
Informatik.
[ bib |
.ps.gz |
.pdf ]
|
|
[4]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
A system for learning abductive logic programs.
In J. Dix, L. M. Pereira, and T. Przymusinski, editors,
Proceedings of the ILPS97 Workshop on Logic Programming and Knowledge
Representation (LPKR97), Port Jefferson, New York, USA, October 17, 1997,
pages 55--66, Koblenz, Germany, October 1997. Universität
Koblenz-Landau, Institut für Informatik.
[ bib |
.pdf ]
|
|
[3]
|
Fabrizio Riguzzi.
Using abductive logic programming as a representation formalism for
ILP.
In Proceedings of the CompulogNet Area Meeting “Computational
Logic and Machine Learning: Representation Issues in Reasoning and
Learning”, pages 15--18, Prague, Czech Republic, September 1997. Compulog
Net.
[ bib |
.pdf ]
|
|
[2]
|
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating extensional and intensional ILP systems through
abduction.
In Norbert E. Fuchs, editor, LOPSTR97, Proceedings of the 7th
International Workshop on Logic Program Synthesis and Transformation, Leuven,
Belgium, July 10-12, 1997, volume Report CW 253, pages 1--8, Leuven,
Belgium, July 1997. Department of Computer Science, Katholieke Universiteit
Leuven.
[ bib |
.pdf ]
|
|
[1]
|
Floriana Esposito, Evelina Lamma, Donato Malerba, Paola Mello, Michela Milano,
Fabrizio Riguzzi, and Giovanni Semeraro.
Learning abductive logic programs.
In Peter A. Flach and Antonis C. Kakas, editors, Proceedings of
the ECAI96 Workshop on Abductive and Inductive Reasoning, pages 23--30,
Budapest, Hungary, August 1996.
[ bib |
.pdf ]
|