Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fabrizio Riguzzi
@article{DBLP:journals/ijar/AzzoliniR23,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
title = {Lifted inference for statistical statements in probabilistic answer
set programming},
journal = {Int. J. Approx. Reason.},
volume = {163},
pages = {109040},
year = {2023},
url = {https://doi.org/10.1016/j.ijar.2023.109040},
doi = {10.1016/J.IJAR.2023.109040},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/AzzoliniR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversBR23,
author = {Tom Schrijvers and
Birthe van den Berg and
Fabrizio Riguzzi},
title = {Automatic Differentiation in Prolog},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {900--917},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000145},
doi = {10.1017/S1471068423000145},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AzzoliniR23,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {Inference in Probabilistic Answer Set Programming Under the Credal
Semantics},
booktitle = {AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14318},
pages = {367--380},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47546-7\_25},
doi = {10.1007/978-3-031-47546-7\_25},
timestamp = {Wed, 08 Nov 2023 09:10:54 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AzzoliniR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AzzoliniGR23,
author = {Damiano Azzolini and
Elisabetta Gentili and
Fabrizio Riguzzi},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Link Prediction in Knowledge Graphs with Probabilistic Logic Programming:
Work in Progress},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/short5PLP.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AzzoliniGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/GentiliBAZR23,
author = {Elisabetta Gentili and
Alice Bizzarri and
Damiano Azzolini and
Riccardo Zese and
Fabrizio Riguzzi},
editor = {Elena Bellodi and
Francesca Alessandra Lisi and
Riccardo Zese},
title = {Regularization in Probabilistic Inductive Logic Programming},
booktitle = {Inductive Logic Programming - 32nd International Conference, {ILP}
2023, Bari, Italy, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14363},
pages = {16--29},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49299-0\_2},
doi = {10.1007/978-3-031-49299-0\_2},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/GentiliBAZR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07878,
author = {Tom Schrijvers and
Birthe van den Berg and
Fabrizio Riguzzi},
title = {Automatic Differentiation in Prolog},
journal = {CoRR},
volume = {abs/2305.07878},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07878},
doi = {10.48550/ARXIV.2305.07878},
eprinttype = {arXiv},
eprint = {2305.07878},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-09138,
author = {Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Exploiting Uncertainty for Querying Inconsistent Description Logics
Knowledge Bases},
journal = {CoRR},
volume = {abs/2306.09138},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.09138},
doi = {10.48550/ARXIV.2306.09138},
eprinttype = {arXiv},
eprint = {2306.09138},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-09138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cryptography/AzzoliniR22,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
title = {Probabilistic Logic Models for the Lightning Network},
journal = {Cryptogr.},
volume = {6},
number = {2},
pages = {29},
year = {2022},
url = {https://doi.org/10.3390/cryptography6020029},
doi = {10.3390/CRYPTOGRAPHY6020029},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cryptography/AzzoliniR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/AzzoliniBFRZ22,
author = {Damiano Azzolini and
Elena Bellodi and
Stefano Ferilli and
Fabrizio Riguzzi and
Riccardo Zese},
title = {Abduction with probabilistic logic programming under the distribution
semantics},
journal = {Int. J. Approx. Reason.},
volume = {142},
pages = {41--63},
year = {2022},
url = {https://doi.org/10.1016/j.ijar.2021.11.003},
doi = {10.1016/J.IJAR.2021.11.003},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/AzzoliniBFRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/FraccaroliLR22,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Symbolic DNN-Tuner},
journal = {Mach. Learn.},
volume = {111},
number = {2},
pages = {625--650},
year = {2022},
url = {https://doi.org/10.1007/s10994-021-06097-1},
doi = {10.1007/S10994-021-06097-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/FraccaroliLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/softx/FraccaroliLR22,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Symbolic DNN-Tuner: {A} Python and ProbLog-based system for optimizing
Deep Neural Networks hyperparameters},
journal = {SoftwareX},
volume = {17},
pages = {100957},
year = {2022},
url = {https://doi.org/10.1016/j.softx.2021.100957},
doi = {10.1016/J.SOFTX.2021.100957},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/softx/FraccaroliLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AzzoliniBR22,
author = {Damiano Azzolini and
Elena Bellodi and
Fabrizio Riguzzi},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Approximate Inference in Probabilistic Answer Set Programming for
Statistical Probabilities},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {33--46},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_3},
doi = {10.1007/978-3-031-27181-6\_3},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AzzoliniBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AzzoliniBR22a,
author = {Damiano Azzolini and
Elena Bellodi and
Fabrizio Riguzzi},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {{MAP} Inference in Probabilistic Answer Set Programs},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {413--426},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_29},
doi = {10.1007/978-3-031-27181-6\_29},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AzzoliniBR22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AzzoliniBR22,
author = {Damiano Azzolini and
Elena Bellodi and
Fabrizio Riguzzi},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Abduction in (Probabilistic) Answer Set Programming},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {90--103},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AzzoliniBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AzzoliniRL22,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Semantics for Hybrid Probabilistic Logic Programs with Function Symbols:
Technical Summary},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/short1PLP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AzzoliniRL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AzzoliniBR22,
author = {Damiano Azzolini and
Elena Bellodi and
Fabrizio Riguzzi},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad},
title = {Learning the Parameters of Probabilistic Answer Set Programs},
booktitle = {Inductive Logic Programming - 31st International Conference, {ILP}
2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13779},
pages = {1--14},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-55630-2\_1},
doi = {10.1007/978-3-031-55630-2\_1},
timestamp = {Fri, 29 Mar 2024 23:01:34 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AzzoliniBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AzzoliniBR22,
author = {Damiano Azzolini and
Elena Bellodi and
Fabrizio Riguzzi},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Statistical Statements in Probabilistic Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {43--55},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_4},
doi = {10.1007/978-3-031-15707-3\_4},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/AzzoliniBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-03092,
author = {Marco Alberti and
Riccardo Zese and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {An Iterative Fixpoint Semantics for {MKNF} Hybrid Knowledge Bases
with Function Symbols},
booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
pages = {65--78},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364.7},
doi = {10.4204/EPTCS.364.7},
timestamp = {Mon, 21 Aug 2023 17:48:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AzzoliniRL21,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
title = {A semantics for Hybrid Probabilistic Logic programs with function
symbols},
journal = {Artif. Intell.},
volume = {294},
pages = {103452},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103452},
doi = {10.1016/J.ARTINT.2021.103452},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AzzoliniRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodatamining/FadjaRBT21,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Giorgio Bertorelle and
Emiliano Trucchi},
title = {Identification of natural selection in genomic data with deep convolutional
neural network},
journal = {BioData Min.},
volume = {14},
number = {1},
year = {2021},
url = {https://doi.org/10.1186/s13040-021-00280-9},
doi = {10.1186/S13040-021-00280-9},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biodatamining/FadjaRBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/RiguzziBZAL21,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Marco Alberti and
Evelina Lamma},
title = {Probabilistic inductive constraint logic},
journal = {Mach. Learn.},
volume = {110},
number = {4},
pages = {723--754},
year = {2021},
url = {https://doi.org/10.1007/s10994-020-05911-6},
doi = {10.1007/S10994-020-05911-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/RiguzziBZAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/FadjaRL21,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Learning hierarchical probabilistic logic programs},
journal = {Mach. Learn.},
volume = {110},
number = {7},
pages = {1637--1693},
year = {2021},
url = {https://doi.org/10.1007/s10994-021-06016-4},
doi = {10.1007/S10994-021-06016-4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/FadjaRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AzzoliniR21,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
title = {Optimizing Probabilities in Probabilistic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {543--556},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000260},
doi = {10.1017/S1471068421000260},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AzzoliniR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiGZLR21,
author = {Elena Bellodi and
Marco Gavanelli and
Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Nonground Abductive Logic Programming with Probabilistic Integrity
Constraints},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {557--574},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000417},
doi = {10.1017/S1471068421000417},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiGZLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRBL21,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Witold Abramowicz and
S{\"{o}}ren Auer and
Milena Str{\'{o}}zyna},
title = {A Probabilistic Logic Model of Lightning Network},
booktitle = {Business Information Systems Workshops - {BIS} 2021 International
Workshops, Virtual Event, June 14-17, 2021, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {444},
pages = {321--333},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-04216-4\_28},
doi = {10.1007/978-3-031-04216-4\_28},
timestamp = {Thu, 07 Apr 2022 14:09:06 +0200},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRBL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AzzoliniR21,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
editor = {Ahmet Soylu and
Alireza Tamaddoni{-}Nezhad and
Nikolay Nikolov and
Ioan Toma and
Anna Fensel and
Joost Vennekens},
title = {Reducing Probabilistic Logic Programs},
booktitle = {Proceedings of the 15th International Rule Challenge, 7th Industry
Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with
17th Reasoning Web Summer School {(RW} 2021) and 13th DecisionCAMP
2021 as part of Declarative {AI} 2021, Leuven, Belgium (virtual due
to Covid-19 pandemic), 8 - 15 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2956},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2956/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/AzzoliniR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08283,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {Syntactic Requirements for Well-defined Hybrid Probabilistic Logic
Programs},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {14--26},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.12},
doi = {10.4204/EPTCS.345.12},
timestamp = {Mon, 03 Jan 2022 22:03:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03033,
author = {Elena Bellodi and
Marco Gavanelli and
Riccardo Zese and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Non-ground Abductive Logic Programming with Probabilistic Integrity
Constraints},
journal = {CoRR},
volume = {abs/2108.03033},
year = {2021},
url = {https://arxiv.org/abs/2108.03033},
eprinttype = {arXiv},
eprint = {2108.03033},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03095,
author = {Damiano Azzolini and
Fabrizio Riguzzi},
title = {Optimizing Probabilities in Probabilistic Logic Programs},
journal = {CoRR},
volume = {abs/2108.03095},
year = {2021},
url = {https://arxiv.org/abs/2108.03095},
eprinttype = {arXiv},
eprint = {2108.03095},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ChesaniCGLMR20,
author = {Federico Chesani and
Giuseppe Cota and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
title = {Declarative and Mathematical Programming approaches to Decision Support
Systems for food recycling},
journal = {Eng. Appl. Artif. Intell.},
volume = {95},
pages = {103861},
year = {2020},
url = {https://doi.org/10.1016/j.engappai.2020.103861},
doi = {10.1016/J.ENGAPPAI.2020.103861},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/ChesaniCGLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGLRSZ20,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Ken Satoh and
Riccardo Zese},
title = {Dischargeable Obligations in the \emph{{\unicode{119982}}}CIFF Framework},
journal = {Fundam. Informaticae},
volume = {176},
number = {3-4},
pages = {321--348},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1976},
doi = {10.3233/FI-2020-1976},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AlbertiGLRSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Bellodi0RZ20,
author = {Elena Bellodi and
Marco Alberti and
Fabrizio Riguzzi and
Riccardo Zese},
title = {{MAP} Inference for Probabilistic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {641--655},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000174},
doi = {10.1017/S1471068420000174},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Bellodi0RZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRL20,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Witold Abramowicz and
Gary Klein},
title = {Modeling Smart Contracts with Probabilistic Logic Programming},
booktitle = {Business Information Systems Workshops - {BIS} 2020 International
Workshops, Colorado Springs, CO, USA, June 8-10, 2020, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {394},
pages = {86--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61146-0\_7},
doi = {10.1007/978-3-030-61146-0\_7},
timestamp = {Fri, 13 Nov 2020 15:14:26 +0100},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Riguzzi20,
author = {Fabrizio Riguzzi},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Quantum Weighted Model Counting},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2640--2647},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200401},
doi = {10.3233/FAIA200401},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Riguzzi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AzzoliniRL20,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {An Analysis of Gibbs Sampling for Probabilistic Logic Programs},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AzzoliniRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/FraccaroliLR20,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Giorgio Jansen and
Vincenzo Sciacca and
Panos M. Pardalos and
Giovanni Giuffrida and
Renato Umeton},
title = {Automatic Setting of {DNN} Hyper-Parameters by Mixing Bayesian Optimization
and Tuning Rules},
booktitle = {Machine Learning, Optimization, and Data Science - 6th International
Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12565},
pages = {477--488},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64583-0\_43},
doi = {10.1007/978-3-030-64583-0\_43},
timestamp = {Mon, 07 Feb 2022 17:57:40 +0100},
biburl = {https://dblp.org/rec/conf/mod/FraccaroliLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ssw/CotaZBLR20,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Giuseppe Cota and
Marilena Daquino and
Gian Luca Pozzato},
title = {A Framework for Reasoning on Probabilistic Description Logics},
booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
pages = {127--144},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/SSW200040},
doi = {10.3233/SSW200040},
timestamp = {Mon, 19 Apr 2021 14:49:06 +0200},
biburl = {https://dblp.org/rec/series/ssw/CotaZBLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09158,
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325},
doi = {10.4204/EPTCS.325},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-02105,
author = {Michele Fraccaroli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Automatic Setting of {DNN} Hyper-Parameters by Mixing Bayesian Optimization
and Tuning Rules},
journal = {CoRR},
volume = {abs/2006.02105},
year = {2020},
url = {https://arxiv.org/abs/2006.02105},
eprinttype = {arXiv},
eprint = {2006.02105},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01394,
author = {Elena Bellodi and
Marco Alberti and
Fabrizio Riguzzi and
Riccardo Zese},
title = {{MAP} Inference for Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/2008.01394},
year = {2020},
url = {https://arxiv.org/abs/2008.01394},
eprinttype = {arXiv},
eprint = {2008.01394},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01087,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
title = {A Framework for Reasoning on Probabilistic Description Logics},
journal = {CoRR},
volume = {abs/2010.01087},
year = {2020},
url = {https://arxiv.org/abs/2010.01087},
eprinttype = {arXiv},
eprint = {2010.01087},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/RiguzziKLN19,
author = {Fabrizio Riguzzi and
Kristian Kersting and
Marco Lippi and
Sriraam Natarajan},
title = {Editorial: Statistical Relational Artificial Intelligence},
journal = {Frontiers Robotics {AI}},
volume = {6},
pages = {68},
year = {2019},
url = {https://doi.org/10.3389/frobt.2019.00068},
doi = {10.3389/FROBT.2019.00068},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firai/RiguzziKLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/AzzoliniRL19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic
Logic Programming},
journal = {Inf.},
volume = {10},
number = {11},
pages = {335},
year = {2019},
url = {https://doi.org/10.3390/info10110335},
doi = {10.3390/INFO10110335},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/AzzoliniRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/LachicheVRBZ19,
author = {Nicolas Lachiche and
Christel Vrain and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {Preface to special issue on Inductive Logic Programming, {ILP} 2017
and 2018},
journal = {Mach. Learn.},
volume = {108},
number = {7},
pages = {1057--1059},
year = {2019},
url = {https://doi.org/10.1007/s10994-019-05790-6},
doi = {10.1007/S10994-019-05790-6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/LachicheVRBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/FadjaR19,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi},
title = {Lifted discriminative learning of probabilistic logic programs},
journal = {Mach. Learn.},
volume = {108},
number = {7},
pages = {1111--1135},
year = {2019},
url = {https://doi.org/10.1007/s10994-018-5750-0},
doi = {10.1007/S10994-018-5750-0},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/FadjaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WielemakerRKLSC19,
author = {Jan Wielemaker and
Fabrizio Riguzzi and
Robert A. Kowalski and
Torbj{\"{o}}rn Lager and
Fariba Sadri and
Miguel Calejo},
title = {Using {SWISH} to Realize Interactive Web-based Tutorials for Logic-based
Languages},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {2},
pages = {229--261},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000522},
doi = {10.1017/S1471068418000522},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WielemakerRKLSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZeseCLBR19,
author = {Riccardo Zese and
Giuseppe Cota and
Evelina Lamma and
Elena Bellodi and
Fabrizio Riguzzi},
title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based
Approach},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {3},
pages = {449--476},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000480},
doi = {10.1017/S1471068418000480},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZeseCLBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AzzoliniRML19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Franco Masotti and
Evelina Lamma},
editor = {Mario Alviano and
Gianluigi Greco and
Francesco Scarcello},
title = {A Comparison of {MCMC} Sampling for Probabilistic Logic Programming},
booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International
Conference of the Italian Association for Artificial Intelligence,
Rende, Italy, November 19-22, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {18--29},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35166-3\_2},
doi = {10.1007/978-3-030-35166-3\_2},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AzzoliniRML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/AzzoliniRL19,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Witold Abramowicz and
Rafael Corchuelo},
title = {Analyzing Transaction Fees with Probabilistic Logic Programming},
booktitle = {Business Information Systems Workshops - {BIS} 2019 International
Workshops, Seville, Spain, June 26-28, 2019, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {373},
pages = {243--254},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36691-9\_21},
doi = {10.1007/978-3-030-36691-9\_21},
timestamp = {Wed, 18 Dec 2019 13:23:03 +0100},
biburl = {https://dblp.org/rec/conf/bis/AzzoliniRL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CotaRZL19,
author = {Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese and
Evelina Lamma},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {KRaider: a Crawler for Linked Data},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {202--216},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper35.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CotaRZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-13530,
author = {Fabrizio Riguzzi},
title = {Quantum Weighted Model Counting},
journal = {CoRR},
volume = {abs/1910.13530},
year = {2019},
url = {http://arxiv.org/abs/1910.13530},
eprinttype = {arXiv},
eprint = {1910.13530},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-13530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZeseBRCL18,
author = {Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Giuseppe Cota and
Evelina Lamma},
title = {Tableau reasoning for description logics and its extension to probabilities},
journal = {Ann. Math. Artif. Intell.},
volume = {82},
number = {1-3},
pages = {101--130},
year = {2018},
url = {https://doi.org/10.1007/s10472-016-9529-3},
doi = {10.1007/S10472-016-9529-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZeseBRCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GavanelliLRBZC18,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
title = {Reasoning on Datalog\({}^{\mbox{{\(\pm\)}}}\) Ontologies with Abductive
Logic Programming},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {65--93},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1658},
doi = {10.3233/FI-2018-1658},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/GavanelliLRBZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FadjaLR18,
author = {Arnaud Nguembang Fadja and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Marco Maratea and
Mauro Vallati},
title = {Vision Inspection with Neural Networks},
booktitle = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
Conference of the Italian Association for Artificial Intelligence,
RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2272},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2272/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FadjaLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FadjaRL18,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {Expectation Maximization in Deep Probabilistic Logic Programming},
booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
Conference of the Italian Association for Artificial Intelligence,
Trento, Italy, November 20-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11298},
pages = {293--306},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_22},
doi = {10.1007/978-3-030-03840-3\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FadjaRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniCLMR18,
author = {Federico Chesani and
Giuseppe Cota and
Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
editor = {Paolo Felli and
Marco Montali},
title = {A Decision Support System for Food Recycling based on Constraint Logic
Programming and Ontological Reasoning},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {117--131},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniCLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FadjaRL18,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Learning the Parameters of Deep Probabilistic Logic Programs},
booktitle = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
pages = {9--14},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/FadjaRL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RiguzziWZ18,
author = {Fabrizio Riguzzi and
Jan Wielemaker and
Riccardo Zese},
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Probabilistic Inference in SWI-Prolog},
booktitle = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
pages = {15--27},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/RiguzziWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AzzoliniRLBZ18,
author = {Damiano Azzolini and
Fabrizio Riguzzi and
Evelina Lamma and
Elena Bellodi and
Riccardo Zese},
editor = {Elena Bellodi and
Tom Schrijvers},
title = {Modeling Bitcoin Protocols with Probabilistic Logic Programming},
booktitle = {Proceedings of the 5th International Workshop on Probabilistic Logic
Programming, {PLP} 2018, co-located with the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
1, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2219},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2219/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AzzoliniRLBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/CotaRZBL18,
author = {Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma},
editor = {Davide Ciucci and
Gabriella Pasi and
Barbara Vantaggi},
title = {A Modular Inference System for Probabilistic Description Logics},
booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM}
2018, Milan, Italy, October 3-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11142},
pages = {78--92},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00461-3\_6},
doi = {10.1007/978-3-030-00461-3\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sum/CotaRZBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/RiguzziS18,
author = {Fabrizio Riguzzi and
Theresa Swift},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {A survey of probabilistic logic programming},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {185--228},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191319},
doi = {10.1145/3191315.3191319},
timestamp = {Fri, 18 Aug 2023 18:13:14 +0200},
biburl = {https://dblp.org/rec/books/mc/18/RiguzziS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2018ucs,
editor = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {Up-and-Coming and Short Papers of the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
2-4, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2206},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2206},
urn = {urn:nbn:de:0074-2206-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2018ucs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2018,
editor = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {Inductive Logic Programming - 28th International Conference, {ILP}
2018, Ferrara, Italy, September 2-4, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11105},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99960-9},
doi = {10.1007/978-3-319-99960-9},
isbn = {978-3-319-99959-3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-08042,
author = {Jan Wielemaker and
Fabrizio Riguzzi and
Bob Kowalski and
Torbj{\"{o}}rn Lager and
Fariba Sadri and
Miguel Calejo},
title = {Using {SWISH} to realise interactive web based tutorials for logic
based languages},
journal = {CoRR},
volume = {abs/1808.08042},
year = {2018},
url = {http://arxiv.org/abs/1808.08042},
eprinttype = {arXiv},
eprint = {1808.08042},
timestamp = {Fri, 15 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-06180,
author = {Riccardo Zese and
Elena Bellodi and
Giuseppe Cota and
Evelina Lamma and
Fabrizio Riguzzi},
title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: {A} Prolog-based
Approach},
journal = {CoRR},
volume = {abs/1809.06180},
year = {2018},
url = {http://arxiv.org/abs/1809.06180},
eprinttype = {arXiv},
eprint = {1809.06180},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-06180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlbertiBCRZ17,
author = {Marco Alberti and
Elena Bellodi and
Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese},
title = {cplint on {SWISH:} Probabilistic Logical Inference with a Web Browser},
journal = {Intelligenza Artificiale},
volume = {11},
number = {1},
pages = {47--64},
year = {2017},
url = {https://doi.org/10.3233/IA-170106},
doi = {10.3233/IA-170106},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AlbertiBCRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RiguzziBZCL17,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota and
Evelina Lamma},
title = {A survey of lifted inference approaches for probabilistic logic programming
under the distribution semantics},
journal = {Int. J. Approx. Reason.},
volume = {80},
pages = {313--333},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.10.002},
doi = {10.1016/J.IJAR.2016.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/RiguzziBZCL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RiguzziCBZ17,
author = {Fabrizio Riguzzi and
Giuseppe Cota and
Elena Bellodi and
Riccardo Zese},
title = {Causal inference in cplint},
journal = {Int. J. Approx. Reason.},
volume = {91},
pages = {216--232},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2017.09.007},
doi = {10.1016/J.IJAR.2017.09.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/RiguzziCBZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BellodiLRZC17,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese and
Giuseppe Cota},
title = {A web system for reasoning with probabilistic {OWL}},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {1},
pages = {125--142},
year = {2017},
url = {https://doi.org/10.1002/spe.2410},
doi = {10.1002/SPE.2410},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BellodiLRZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/0001LRZ17,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Iterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {248--261},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/CILCpaper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/0001LRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FadjaLR17,
author = {Arnaud Nguembang Fadja and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Riccardo Zese and
Christian Theil Have},
title = {Deep Probabilistic Logic Programming},
booktitle = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1916},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1916/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/FadjaLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/0001LRZ17,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Riccardo Zese and
Christian Theil Have},
title = {A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge
Bases},
booktitle = {Proceedings of the Workshop on Probabilistic Logic Programming 2017
co-located with 27th International Conference on Inductive Logic Programming
{(ILP} 2017), Orl{\'{e}}ans, France, September 7, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1916},
pages = {40--50},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1916/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/0001LRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AlbertiGLRZ17,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Dischargeable Obligations in Abductive Logic Programming},
booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
pages = {7--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_2},
doi = {10.1007/978-3-319-61252-2\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/AlbertiGLRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/RiguzziZ17,
author = {Fabrizio Riguzzi and
Riccardo Zese},
editor = {Nick Bassiliades and
Antonis Bikakis and
Stefania Costantini and
Enrico Franconi and
Adrian Giurca and
Roman Kontchakov and
Theodore Patkos and
Fariba Sadri and
William Van Woensel},
title = {Probabilistic Inductive Logic Programming on the Web},
booktitle = {Proceedings of the Doctoral Consortium, Challenge, Industry Track,
Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint
Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK,
July 11-15, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1875},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1875/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/RiguzziZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/BellodiRL16,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Statistical relational learning for workflow mining},
journal = {Intell. Data Anal.},
volume = {20},
number = {3},
pages = {515--541},
year = {2016},
url = {https://doi.org/10.3233/IDA-160818},
doi = {10.3233/IDA-160818},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/BellodiRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Riguzzi16,
author = {Fabrizio Riguzzi},
title = {The distribution semantics for normal programs with function symbols},
journal = {Int. J. Approx. Reason.},
volume = {77},
pages = {1--19},
year = {2016},
url = {https://doi.org/10.1016/j.ijar.2016.05.005},
doi = {10.1016/J.IJAR.2016.05.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Riguzzi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/RiguzziBLZC16,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese and
Giuseppe Cota},
title = {Probabilistic logic programming on the web},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {10},
pages = {1381--1396},
year = {2016},
url = {https://doi.org/10.1002/spe.2386},
doi = {10.1002/SPE.2386},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/RiguzziBLZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziLABZC16,
author = {Fabrizio Riguzzi and
Evelina Lamma and
Marco Alberti and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Federico Chesani and
Paola Mello and
Michela Milano},
title = {Probabilistic Logic Programming for Natural Language Processing},
booktitle = {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), Genova, Italy, November 28th,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1802},
pages = {30--37},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1802/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziLABZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlbertiCRZ16,
author = {Marco Alberti and
Giuseppe Cota and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Probabilistic Logical Inference on the Web},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {351--363},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_26},
doi = {10.1007/978-3-319-49130-1\_26},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AlbertiCRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlbertiLRZ16,
author = {Marco Alberti and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {364--376},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_27},
doi = {10.1007/978-3-319-49130-1\_27},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AlbertiLRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RiguzziBZCL16,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota and
Evelina Lamma},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Scaling Structure Learning of Probabilistic Logic Programs by MapReduce},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1602--1603},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1602},
doi = {10.3233/978-1-61499-672-9-1602},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/RiguzziBZCL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/RiguzziZC16,
author = {Fabrizio Riguzzi and
Riccardo Zese and
Giuseppe Cota},
editor = {Paolo Ciancarini and
Francesco Poggi and
Matthew Horridge and
Jun Zhao and
Tudor Groza and
Mari Carmen Su{\'{a}}rez{-}Figueroa and
Mathieu d'Aquin and
Valentina Presutti},
title = {Probabilistic Inductive Logic Programming on the Web},
booktitle = {Knowledge Engineering and Knowledge Management - {EKAW} 2016 Satellite
Events, {EKM} and Drift-an-LOD, Bologna, Italy, November 19-23, 2016,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10180},
pages = {172--175},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-58694-6\_25},
doi = {10.1007/978-3-319-58694-6\_25},
timestamp = {Sat, 19 Oct 2019 20:33:11 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/RiguzziZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlbertiBCLRZ16,
author = {Marco Alberti and
Elena Bellodi and
Giuseppe Cota and
Evelina Lamma and
Fabrizio Riguzzi and
Riccardo Zese},
editor = {Arjen Hommersom and
Samer A. Abdallah},
title = {Probabilistic Constraint Logic Theories},
booktitle = {Proceedings of the 3rd International Workshop on Probabilistic Logic
Programming co-located with 26th International Conference on Inductive
Logic Programming {(ILP} 2016), London, UK, September 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1661},
pages = {15--28},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1661/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AlbertiBCLRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/MauroBR15,
author = {Nicola Di Mauro and
Elena Bellodi and
Fabrizio Riguzzi},
title = {Bandit-based Monte-Carlo structure learning of probabilistic logic
programs},
journal = {Mach. Learn.},
volume = {100},
number = {1},
pages = {127--156},
year = {2015},
url = {https://doi.org/10.1007/s10994-015-5510-3},
doi = {10.1007/S10994-015-5510-3},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/MauroBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/RiguzziBLZ15,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
title = {Probabilistic Description Logics under the distribution semantics},
journal = {Semantic Web},
volume = {6},
number = {5},
pages = {477--501},
year = {2015},
url = {https://doi.org/10.3233/SW-140154},
doi = {10.3233/SW-140154},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/semweb/RiguzziBLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiR15,
author = {Elena Bellodi and
Fabrizio Riguzzi},
title = {Structure learning of probabilistic logic programs by searching the
clause space},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {2},
pages = {169--212},
year = {2015},
url = {https://doi.org/10.1017/S1471068413000689},
doi = {10.1017/S1471068413000689},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZeseBRL15,
author = {Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Elena Bellodi and
Alessio Bonfietti},
title = {Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming
Techniques},
booktitle = {Proceedings of the Doctoral Consortium {(DC)} co-located with the
14th Conference of the Italian Association for Artificial Intelligence
(AI*IA 2015), Ferrara, Italy, September 23-24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1485},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1485/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZeseBRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CotaZBLR15,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Elena Bellodi and
Alessio Bonfietti},
title = {Learning Probabilistic Ontologies with Distributed Parameter Learning},
booktitle = {Proceedings of the Doctoral Consortium {(DC)} co-located with the
14th Conference of the Italian Association for Artificial Intelligence
(AI*IA 2015), Ferrara, Italy, September 23-24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1485},
pages = {7--12},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1485/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CotaZBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birs/FadjaR15,
author = {Arnaud Nguembang Fadja and
Fabrizio Riguzzi},
editor = {Andreas Holzinger and
Randy Goebel and
Massimo Ferri and
Vasile Palade},
title = {Probabilistic Logic Programming in Action},
booktitle = {Towards Integrative Machine Learning and Knowledge Extraction - {BIRS}
Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10344},
pages = {89--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-69775-8\_5},
doi = {10.1007/978-3-319-69775-8\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/birs/FadjaR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Abductive logic programming for Datalog +/- ontologies},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {128--143},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {An Abductive Framework for Datalog{\(\pm\)} Ontologies},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_89.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Riguzzi15,
author = {Fabrizio Riguzzi},
editor = {Fabrizio Riguzzi and
Joost Vennekens},
title = {The Distribution Semantics is Well-Defined for All Normal Programs},
booktitle = {Proceedings of the 2nd International Workshop on Probabilistic Logic
Programming co-located with 31st International Conference on Logic
Programming {(ICLP} 2015), Cork, Ireland, August 31st, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1413},
pages = {69--84},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1413/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Riguzzi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RiguzziBLZ15,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Reasoning with Probabilistic Ontologies},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4310--4316},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/613},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RiguzziBLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZeseBLR15,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Odile Papini and
Salem Benferhat and
Laurent Garcia and
Marie{-}Laure Mugnier and
Eduardo L. Ferm{\'{e}} and
Thomas Meyer and
Renata Wassermann and
Torsten Hahmann and
Ken Baclawski and
Adila Krisnadhi and
Pavel Klinov and
Stefano Borgo and
Oliver Kutz and
Daniele Porello},
title = {Logic Programming Techniques for Reasoning with Probabilistic Ontologies},
booktitle = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine
Winter of Ontology co-located with the 24th International Joint Conference
on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina,
July 25-27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1517},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1517/JOWO-15\_ontolp\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ZeseBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/CotaZBRL15,
author = {Giuseppe Cota and
Riccardo Zese and
Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Katsumi Inoue and
Hayato Ohwada and
Akihiro Yamamoto},
title = {Distributed Parameter Learning for Probabilistic Ontologies},
booktitle = {Inductive Logic Programming - 25th International Conference, {ILP}
2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9575},
pages = {30--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-40566-7\_3},
doi = {10.1007/978-3-319-40566-7\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/CotaZBRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsai/GavanelliLRBZC15,
author = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese and
Giuseppe Cota},
editor = {Mihoko Otake and
Setsuya Kurahashi and
Yuiko Ota and
Ken Satoh and
Daisuke Bekki},
title = {Abductive Logic Programming for Normative Reasoning and Ontologies},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {10091},
pages = {187--203},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-50953-2\_14},
doi = {10.1007/978-3-319-50953-2\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jsai/GavanelliLRBZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2015,
editor = {Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi},
title = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International
Conference of the Italian Association for Artificial Intelligence,
Ferrara, Italy, September 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9336},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24309-2},
doi = {10.1007/978-3-319-24309-2},
isbn = {978-3-319-24308-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2015plp,
editor = {Fabrizio Riguzzi and
Joost Vennekens},
title = {Proceedings of the 2nd International Workshop on Probabilistic Logic
Programming co-located with 31st International Conference on Logic
Programming {(ICLP} 2015), Cork, Ireland, August 31st, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1413},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1413},
urn = {urn:nbn:de:0074-1413-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2015plp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WielemakerLR15,
author = {Jan Wielemaker and
Torbj{\"{o}}rn Lager and
Fabrizio Riguzzi},
title = {{SWISH:} SWI-Prolog for Sharing},
journal = {CoRR},
volume = {abs/1511.00915},
year = {2015},
url = {http://arxiv.org/abs/1511.00915},
eprinttype = {arXiv},
eprint = {1511.00915},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WielemakerLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Riguzzi15,
author = {Fabrizio Riguzzi},
title = {Introduzione all'Intelligenza Artificiale},
journal = {CoRR},
volume = {abs/1511.04352},
year = {2015},
url = {http://arxiv.org/abs/1511.04352},
eprinttype = {arXiv},
eprint = {1511.04352},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Riguzzi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Riguzzi14,
author = {Fabrizio Riguzzi},
title = {Speeding Up Inference for Probabilistic Logic Programs},
journal = {Comput. J.},
volume = {57},
number = {3},
pages = {347--363},
year = {2014},
url = {https://doi.org/10.1093/comjnl/bxt096},
doi = {10.1093/COMJNL/BXT096},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/Riguzzi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firai/RiguzziBZ14,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {A History of Probabilistic Inductive Logic Programming},
journal = {Frontiers Robotics {AI}},
volume = {1},
pages = {6},
year = {2014},
url = {https://doi.org/10.3389/frobt.2014.00006},
doi = {10.3389/FROBT.2014.00006},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firai/RiguzziBZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/RiguzziZ14,
author = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Guest editors introduction: special issue on Inductive Logic Programming
{(ILP} 2012)},
journal = {Mach. Learn.},
volume = {94},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1007/s10994-013-5398-8},
doi = {10.1007/S10994-013-5398-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/RiguzziZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RiguzziS14,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {Terminating Evaluation of Logic Programs with Finite Three-Valued
Models},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {32:1--32:38},
year = {2014},
url = {https://doi.org/10.1145/2629337},
doi = {10.1145/2629337},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/RiguzziS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BellodiLRCZ14,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
V{\'{\i}}tor Santos Costa and
Riccardo Zese},
title = {Lifted Variable Elimination for Probabilistic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {681--695},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000283},
doi = {10.1017/S1471068414000283},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BellodiLRCZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RiguzziBLZC13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese and
Giuseppe Cota},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Matthias Nickles and
Michael Pool},
title = {Learning Probabilistic Description Logics},
booktitle = {Uncertainty Reasoning for the Semantic Web {III} - {ISWC} International
Workshops, {URSW} 2011-2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8816},
pages = {63--78},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13413-0\_4},
doi = {10.1007/978-3-319-13413-0\_4},
timestamp = {Wed, 07 Dec 2022 23:12:16 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RiguzziBLZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZeseBLRA13,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Fabiano Aguiari},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Matthias Nickles and
Michael Pool},
title = {Semantics and Inference for Probabilistic Description Logics},
booktitle = {Uncertainty Reasoning for the Semantic Web {III} - {ISWC} International
Workshops, {URSW} 2011-2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8816},
pages = {79--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13413-0\_5},
doi = {10.1007/978-3-319-13413-0\_5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/ZeseBLRA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BellodiLRCZ14,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
V{\'{\i}}tor Santos Costa and
Riccardo Zese},
title = {Lifted Variable Elimination for Probabilistic Logic Programming},
journal = {CoRR},
volume = {abs/1405.3218},
year = {2014},
url = {http://arxiv.org/abs/1405.3218},
eprinttype = {arXiv},
eprint = {1405.3218},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BellodiLRCZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Riguzzi13,
author = {Fabrizio Riguzzi},
title = {{MCINTYRE:} {A} Monte Carlo System for Probabilistic Logic Programming},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {521--541},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-847},
doi = {10.3233/FI-2013-847},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Riguzzi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BaldoniMR13,
author = {Matteo Baldoni and
Paola Mello and
Fabrizio Riguzzi},
title = {Guest-editorial: 25 years of AI*IA},
journal = {Intelligenza Artificiale},
volume = {7},
number = {2},
pages = {69},
year = {2013},
url = {https://doi.org/10.3233/IA-130048},
doi = {10.3233/IA-130048},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BaldoniMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MauroFABGEFFGLLMMPRRSS13,
author = {Nicola Di Mauro and
Paolo Frasconi and
Fabrizio Angiulli and
Davide Bacciu and
Marco de Gemmis and
Floriana Esposito and
Nicola Fanizzi and
Stefano Ferilli and
Marco Gori and
Francesca A. Lisi and
Pasquale Lops and
Donato Malerba and
Alessio Micheli and
Marcello Pelillo and
Francesco Ricci and
Fabrizio Riguzzi and
Lorenza Saitta and
Giovanni Semeraro},
title = {Italian Machine Learning and Data Mining research: The last years},
journal = {Intelligenza Artificiale},
volume = {7},
number = {2},
pages = {77--89},
year = {2013},
url = {https://doi.org/10.3233/IA-130050},
doi = {10.3233/IA-130050},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/MauroFABGEFFGLLMMPRRSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/BellodiR13,
author = {Elena Bellodi and
Fabrizio Riguzzi},
title = {Expectation maximization over binary decision diagrams for probabilistic
logic programs},
journal = {Intell. Data Anal.},
volume = {17},
number = {2},
pages = {343--363},
year = {2013},
url = {https://doi.org/10.3233/IDA-130582},
doi = {10.3233/IDA-130582},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/BellodiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS13,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {Well-definedness and efficient inference for probabilistic logic programming
under the distribution semantics},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {279--302},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000664},
doi = {10.1017/S1471068411000664},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Computing Instantiated Explanations in {OWL} {DL}},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {397--408},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_34},
doi = {10.1007/978-3-319-03524-6\_34},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ZeseBLR13,
author = {Riccardo Zese and
Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {A Description Logics Tableau Reasoner in Prolog},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {33--47},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ZeseBLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GavanelliRMC13,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Michela Milano and
Paolo Cagnoli},
editor = {Domenico Cantone and
Marianna Nicolosi Asmundo},
title = {Constraint and Optimization techniques for supporting Policy Making},
booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
Catania, Italy, September 25-27, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1068},
pages = {195--209},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1068/paper-l13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GavanelliRMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Gerson Zaverucha and
V{\'{\i}}tor Santos Costa and
Aline Marins Paes},
title = {Learning the Parameters of Probabilistic Description Logics},
booktitle = {Late Breaking Papers of the 23rd International Conference on Inductive
Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th,
2013},
series = {{CEUR} Workshop Proceedings},
volume = {1187},
pages = {46--51},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1187/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {{BUNDLE:} {A} Reasoner for Probabilistic Ontologies},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {183--197},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_14},
doi = {10.1007/978-3-642-39666-3\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/RiguzziBLZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RiguzziBLZ13a,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Parameter Learning for Probabilistic Ontologies},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {265--270},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_26},
doi = {10.1007/978-3-642-39666-3\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rr/RiguzziBLZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2012lbr,
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Late Breaking Papers of the 22nd International Conference on Inductive
Logic Programming, Dubrovnik, Croatia, September 17-19, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {975},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-975},
urn = {urn:nbn:de:0074-975-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2012lbr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2012,
editor = {Fabrizio Riguzzi and
Filip Zelezn{\'{y}}},
title = {Inductive Logic Programming - 22nd International Conference, {ILP}
2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7842},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38812-5},
doi = {10.1007/978-3-642-38812-5},
isbn = {978-3-642-38811-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BellodiR13,
author = {Elena Bellodi and
Fabrizio Riguzzi},
title = {Structure Learning of Probabilistic Logic Programs by Searching the
Clause Space},
journal = {CoRR},
volume = {abs/1309.2080},
year = {2013},
url = {http://arxiv.org/abs/1309.2080},
eprinttype = {arXiv},
eprint = {1309.2080},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BellodiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/BellodiR12,
author = {Elena Bellodi and
Fabrizio Riguzzi},
title = {Experimentation of an expectation maximization algorithm for probabilistic
logic programs},
journal = {Intelligenza Artificiale},
volume = {6},
number = {1},
pages = {3--18},
year = {2012},
url = {https://doi.org/10.3233/IA-2012-0027},
doi = {10.3233/IA-2012-0027},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BellodiR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/RiguzziM12,
author = {Fabrizio Riguzzi and
Nicola Di Mauro},
title = {Applying the information bottleneck to statistical relational learning},
journal = {Mach. Learn.},
volume = {86},
number = {1},
pages = {89--114},
year = {2012},
url = {https://doi.org/10.1007/s10994-011-5247-6},
doi = {10.1007/S10994-011-5247-6},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/RiguzziM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuffonLRF12,
author = {Ludovico Buffon and
Evelina Lamma and
Fabrizio Riguzzi and
Davide Formenti},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Un sistema di Vision Inspection basato su reti neurali},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuffonLRF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BellodiR12,
author = {Elena Bellodi and
Fabrizio Riguzzi},
editor = {Paolo Liberatore and
Michele Lombardi and
Floriano Scioscia},
title = {Parameter and Structure Learning Algorithms for Statistical Relational
Learning},
booktitle = {Proceedings of the Doctoral Consortium of the 12th Symposium of the
Italian Association for Artificial Intelligence, Rome, Italy, June
15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {926},
pages = {5--9},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-926/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BellodiR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RiguzziBLZ12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Semantics and Inference for Probabilistic Ontologies},
booktitle = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
pages = {41--46},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/RiguzziBLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Riguzzi12,
author = {Fabrizio Riguzzi},
editor = {Francesca A. Lisi},
title = {Optimizing Inference for Probabilistic Logic Programs Exploiting Independence
and Exclusiveness},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {206--220},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Riguzzi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RiguzziBL12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Francesca A. Lisi},
title = {Probabilistic Ontologies in Datalog+/-},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {221--235},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RiguzziBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RiguzziBL12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Probabilistic Datalog+/- under the Distribution Semantics},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RiguzziBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/GavanelliRMC12,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Michela Milano and
Paolo Cagnoli},
title = {Constraint and Optimization techniques for supporting Policy Making},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012},
year = {2012},
url = {http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012\_Gavanelli\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:48 +0100},
biburl = {https://dblp.org/rec/conf/isaim/GavanelliRMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RiguzziBLZ12,
author = {Fabrizio Riguzzi and
Elena Bellodi and
Evelina Lamma and
Riccardo Zese},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles and
Michael Pool},
title = {Epistemic and Statistical Probabilistic Ontologies},
booktitle = {Proceedings of the 8th International Workshop on Uncertainty Reasoning
for the Semantic Web, Boston, USA, November 11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {900},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-900/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RiguzziBLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AlbertiGLRS11,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
title = {Learning specifications of interaction protocols and business processes
and proving their properties},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {71--75},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0006},
doi = {10.3233/IA-2011-0006},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/AlbertiGLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS11,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {The {PITA} system: Tabling and answer subsumption for reasoning under
uncertainty},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {433--449},
year = {2011},
url = {https://doi.org/10.1017/S147106841100010X},
doi = {10.1017/S147106841100010X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GavanelliRMSCC11,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Michela Milano and
Davide Sottara and
Alessandro Cangini and
Paolo Cagnoli},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {An Application of Fuzzy Logic to Strategic Environmental Assessment},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {324--335},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_30},
doi = {10.1007/978-3-642-23954-0\_30},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GavanelliRMSCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Riguzzi11,
author = {Fabrizio Riguzzi},
editor = {Fabio Fioravanti},
title = {{MCINTYRE:} {A} Monte Carlo Algorithm for Probabilistic Logic Programming},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {25--39},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Riguzzi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BellodiR11,
author = {Elena Bellodi and
Fabrizio Riguzzi},
editor = {Fabio Fioravanti},
title = {{EM} over Binary Decision Diagrams for Probabilistic Logic Programs},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {229--243},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BellodiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/BellodiR12,
author = {Elena Bellodi and
Fabrizio Riguzzi},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Learning the Structure of Probabilistic Logic Programs},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {61--75},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_10},
doi = {10.1007/978-3-642-31951-8\_10},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/BellodiR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RiguzziS11,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Stephen H. Muggleton and
Hiroaki Watanabe},
title = {The {PITA} System for Logical-Probabilistic Inference},
booktitle = {Latest Advances in Inductive Logic Programming, {ILP} 2011, Late Breaking
Papers, Windsor Great Park, UK, July 31 - August 3, 2011},
pages = {79--86},
publisher = {Imperial College Press / World Scientific},
year = {2011},
url = {https://doi.org/10.1142/9781783265091\_0010},
doi = {10.1142/9781783265091\_0010},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RiguzziS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BellodiLRA11,
author = {Elena Bellodi and
Evelina Lamma and
Fabrizio Riguzzi and
Simone Albani},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles},
title = {A Distribution Semantics for Probabilistic Ontologies},
booktitle = {Proceedings of the 7th International Workshop on Uncertainty Reasoning
for the Semantic Web {(URSW} 2011), Bonn, Germany, October 23, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {778},
pages = {75--86},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-778/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BellodiLRA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4747,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {The {PITA} System: Tabling and Answer Subsumption for Reasoning under
Uncertainty},
journal = {CoRR},
volume = {abs/1107.4747},
year = {2011},
url = {http://arxiv.org/abs/1107.4747},
eprinttype = {arXiv},
eprint = {1107.4747},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0631,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {Well-Definedness and Efficient Inference for Probabilistic Logic Programming
under the Distribution Semantics},
journal = {CoRR},
volume = {abs/1110.0631},
year = {2011},
url = {http://arxiv.org/abs/1110.0631},
eprinttype = {arXiv},
eprint = {1110.0631},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Riguzzi10,
author = {Fabrizio Riguzzi},
title = {{SLGAD} Resolution for Inference on Logic Programs with Annotated
Disjunctions},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {429--466},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-313},
doi = {10.3233/FI-2010-313},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Riguzzi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GavanelliRP10,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Alberto Pettorossi},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {105},
number = {1-2},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-355},
doi = {10.3233/FI-2010-355},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/GavanelliRP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GavanelliRMC10,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Michela Milano and
Paolo Cagnoli},
title = {Logic-based decision support for strategic environmental assessment},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {643--658},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000335},
doi = {10.1017/S1471068410000335},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GavanelliRMC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BellodiRL10,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Probabilistic Logic-Based Process Mining},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BellodiRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RiguzziS10,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Wolfgang Faber and
Nicola Leone},
title = {An Extended Semantics for Logic Programs with Annotated Disjunctions
and its Efficient Implementation},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RiguzziS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RiguzziS10,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Tabling and Answer Subsumption for Reasoning on Logic Programs with
Annotated Disjunctions},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {162--171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.162},
doi = {10.4230/LIPICS.ICLP.2010.162},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RiguzziS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/BragagliaR10,
author = {Stefano Bragaglia and
Fabrizio Riguzzi},
editor = {Paolo Frasconi and
Francesca A. Lisi},
title = {Approximate Inference for Logic Programs with Annotated Disjunctions},
booktitle = {Inductive Logic Programming - 20th International Conference, {ILP}
2010, Florence, Italy, June 27-30, 2010. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6489},
pages = {30--37},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21295-6\_7},
doi = {10.1007/978-3-642-21295-6\_7},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ilp/BragagliaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/BellodiRL10,
author = {Elena Bellodi and
Fabrizio Riguzzi and
Evelina Lamma},
editor = {Yaxin Bi and
Mary{-}Anne Williams},
title = {Probabilistic Declarative Process Mining},
booktitle = {Knowledge Science, Engineering and Management, 4th International Conference,
{KSEM} 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6291},
pages = {292--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15280-1\_28},
doi = {10.1007/978-3-642-15280-1\_28},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/ksem/BellodiRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/CattafiLRS10,
author = {Massimiliano Cattafi and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Edward Szczerbicki and
Ngoc Thanh Nguyen},
title = {Incremental Declarative Process Mining},
booktitle = {Smart Information and Knowledge Management: Advances, Challenges,
and Critical Issues},
series = {Studies in Computational Intelligence},
volume = {260},
pages = {103--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-04584-4\_5},
doi = {10.1007/978-3-642-04584-4\_5},
timestamp = {Thu, 16 Mar 2023 20:00:38 +0100},
biburl = {https://dblp.org/rec/series/sci/CattafiLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3159,
author = {Marco Gavanelli and
Fabrizio Riguzzi and
Michela Milano and
Paolo Cagnoli},
title = {Logic-Based Decision Support for Strategic Environmental Assessment},
journal = {CoRR},
volume = {abs/1007.3159},
year = {2010},
url = {http://arxiv.org/abs/1007.3159},
eprinttype = {arXiv},
eprint = {1007.3159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/StorariRL09,
author = {Sergio Storari and
Fabrizio Riguzzi and
Evelina Lamma},
title = {Exploiting association and correlation rules parameters for learning
Bayesian networks},
journal = {Intell. Data Anal.},
volume = {13},
number = {5},
pages = {689--701},
year = {2009},
url = {https://doi.org/10.3233/IDA-2009-0388},
doi = {10.3233/IDA-2009-0388},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ida/StorariRL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Riguzzi09,
author = {Fabrizio Riguzzi},
title = {Extended semantics and inference for the Independent Choice Logic},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {589--629},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp025},
doi = {10.1093/JIGPAL/JZP025},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Riguzzi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChesaniLMMRS09,
author = {Federico Chesani and
Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
title = {Exploiting Inductive Logic Programming Techniques for Declarative
Process Mining},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {2},
pages = {278--295},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_16},
doi = {10.1007/978-3-642-00899-3\_16},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ChesaniLMMRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/Riguzzi08,
author = {Fabrizio Riguzzi},
title = {{ALLPAD:} approximate learning of logic programs with annotated disjunctions},
journal = {Mach. Learn.},
volume = {70},
number = {2-3},
pages = {207--223},
year = {2008},
url = {https://doi.org/10.1007/s10994-007-5032-8},
doi = {10.1007/S10994-007-5032-8},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/Riguzzi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlbertiGLRS08,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Inducing Specification of Interaction Protocols and Business Processes
and Proving their Properties},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlbertiGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ChesaniMMRSS08,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Maurizio Sebastianis and
Sergio Storari},
editor = {Danilo Ardagna and
Massimo Mecella and
Jian Yang},
title = {Checking Compliance of Execution Traces to Business Rules},
booktitle = {Business Process Management Workshops, {BPM} 2008 International Workshops,
Milano, Italy, September 1-4, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {17},
pages = {134--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00328-8\_13},
doi = {10.1007/978-3-642-00328-8\_13},
timestamp = {Wed, 14 Nov 2018 10:57:47 +0100},
biburl = {https://dblp.org/rec/conf/bpm/ChesaniMMRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Riguzzi08,
author = {Fabrizio Riguzzi},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Inference with Logic Programs with Annotated Disjunctions under the
Well Founded Semantics},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {667--671},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_54},
doi = {10.1007/978-3-540-89982-2\_54},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Riguzzi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Riguzzi08,
author = {Fabrizio Riguzzi},
editor = {Marco Gavanelli and
Toni Mancini},
title = {The {SLGAD} Procedure for Inference on Logic Programs with Annotated
Disjunctions},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper15riguzzi.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Riguzzi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Riguzzi07,
author = {Fabrizio Riguzzi},
editor = {Roberto Basili and
Maria Teresa Pazienza},
title = {A Top Down Interpreter for {LPAD} and CP-Logic},
booktitle = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
10th Congress of the Italian Association for Artificial Intelligence,
Rome, Italy, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {109--120},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_11},
doi = {10.1007/978-3-540-74782-6\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/Riguzzi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LammaMMRS07,
author = {Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Gustavo Alonso and
Peter Dadam and
Michael Rosemann},
title = {Inducing Declarative Logic-Based Models from Labeled Traces},
booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
Brisbane, Australia, September 24-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {344--359},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75183-0\_25},
doi = {10.1007/978-3-540-75183-0\_25},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/LammaMMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/LammaMRS07,
author = {Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Hendrik Blockeel and
Jan Ramon and
Jude W. Shavlik and
Prasad Tadepalli},
title = {Applying Inductive Logic Programming to Process Mining},
booktitle = {Inductive Logic Programming, 17th International Conference, {ILP}
2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4894},
pages = {132--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78469-2\_16},
doi = {10.1007/978-3-540-78469-2\_16},
timestamp = {Thu, 14 Oct 2021 10:29:24 +0200},
biburl = {https://dblp.org/rec/conf/ilp/LammaMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/LammaMNRSV06,
author = {Evelina Lamma and
Paola Mello and
Anna Nanetti and
Fabrizio Riguzzi and
Sergio Storari and
Gianfranco Valastro},
title = {Artificial Intelligence Techniques for Monitoring Dangerous Infections},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {10},
number = {1},
pages = {143--155},
year = {2006},
url = {https://doi.org/10.1109/TITB.2005.855537},
doi = {10.1109/TITB.2005.855537},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/LammaMNRSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Riguzzi06,
author = {Fabrizio Riguzzi},
editor = {Stephen H. Muggleton and
Ram{\'{o}}n P. Otero and
Alireza Tamaddoni{-}Nezhad},
title = {{ALLPAD:} Approximate Learning of Logic Programs with Annotated Disjunctions},
booktitle = {Inductive Logic Programming, 16th International Conference, {ILP}
2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4455},
pages = {43--45},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73847-3\_11},
doi = {10.1007/978-3-540-73847-3\_11},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/Riguzzi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/GamberoniLRSV05,
author = {Giacomo Gamberoni and
Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari and
Stefano Volinia},
editor = {A. Fazel Famili and
Joost N. Kok and
Jos{\'{e}} Mar{\'{\i}}a Pe{\~{n}}a S{\'{a}}nchez and
Arno Siebes and
A. J. Feelders},
title = {Bayesian Networks Learning for Gene Expression Datasets},
booktitle = {Advances in Intelligent Data Analysis VI, 6th International Symposium
on Intelligent Data Analysis, {IDA} 2005, Madrid, Spain, September
8-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3646},
pages = {109--120},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552253\_11},
doi = {10.1007/11552253\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ida/GamberoniLRSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LammaMR04,
author = {Evelina Lamma and
Paola Mello and
Fabrizio Riguzzi},
title = {A System for Measuring Function Points from an {ER-DFD} Specification},
journal = {Comput. J.},
volume = {47},
number = {3},
pages = {358--372},
year = {2004},
url = {https://doi.org/10.1093/comjnl/47.3.358},
doi = {10.1093/COMJNL/47.3.358},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/LammaMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LammaRS04,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Exploiting Association and Correlation Rules - Parameters for Improving
the {K2} Algorithm},
booktitle = {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},
pages = {500--504},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LammaRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Riguzzi04,
author = {Fabrizio Riguzzi},
editor = {Rui Camacho and
Ross D. King and
Ashwin Srinivasan},
title = {Learning Logic Programs with Annotated Disjunctions},
booktitle = {Inductive Logic Programming, 14th International Conference, {ILP}
2004, Porto, Portugal, September 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3194},
pages = {270--287},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30109-7\_21},
doi = {10.1007/978-3-540-30109-7\_21},
timestamp = {Wed, 24 Mar 2021 17:12:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/Riguzzi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LemmaRSMN03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Sergio Storari and
Paola Mello and
Anna Nanetti},
title = {Discovering Validation Rules from Microbiological Data},
journal = {New Gener. Comput.},
volume = {21},
number = {2},
pages = {123--133},
year = {2003},
url = {https://doi.org/10.1007/BF03037630},
doi = {10.1007/BF03037630},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LemmaRSMN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LammaRP03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
title = {Belief Revision via Lamarckian Evolution},
journal = {New Gener. Comput.},
volume = {21},
number = {3},
pages = {247--275},
year = {2003},
url = {https://doi.org/10.1007/BF03037475},
doi = {10.1007/BF03037475},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LammaRP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaRSS03,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Andrea Stambazzi and
Sergio Storari},
editor = {Amedeo Cappelli and
Franco Turini},
title = {Improving the {SLA} Algorithm Using Association Rules},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
Italian Association for Artificial Intelligence, Pisa, Italy, September
23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2829},
pages = {165--175},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39853-0\_14},
doi = {10.1007/978-3-540-39853-0\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LammaRSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/LammaMRSMN02,
author = {Evelina Lamma and
G. Modestino and
Fabrizio Riguzzi and
Sergio Storari and
Paola Mello and
Anna Nanetti},
title = {An Intelligent Medical System for Mocrobiological Data Validation
and Nosocomial Infection Surveillance},
booktitle = {15th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2002),
4-7 June 2002, Maribor, Slovenia},
pages = {13--20},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CBMS.2002.1011348},
doi = {10.1109/CBMS.2002.1011348},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/LammaMRSMN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/LammaRP02,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Belief Revision via Lamarckian Evolution},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3},
pages = {1264--1270},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 31 Oct 2003 09:21:57 +0100},
biburl = {https://dblp.org/rec/conf/icai/LammaRP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/CucchiaraMPR01,
author = {Rita Cucchiara and
Paola Mello and
Massimo Piccardi and
Fabrizio Riguzzi},
title = {An application of machine learning and statistics to defect detection},
journal = {Intell. Data Anal.},
volume = {5},
number = {2},
pages = {151--164},
year = {2001},
url = {http://content.iospress.com/articles/intelligent-data-analysis/ida00048},
timestamp = {Mon, 18 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ida/CucchiaraMPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/LammaPR01,
author = {Evelina Lamma and
Lu{\'{\i}}s Moniz Pereira and
Fabrizio Riguzzi},
editor = {Egbert J. W. Boers and
Jens Gottlieb and
Pier Luca Lanzi and
Robert E. Smith and
Stefano Cagnoni and
Emma Hart and
G{\"{u}}nther R. Raidl and
H. Tijink},
title = {Belief Revision by Lamarckian Evolution},
booktitle = {Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP,
EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2037},
pages = {404--413},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45365-2\_42},
doi = {10.1007/3-540-45365-2\_42},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/evoW/LammaPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMNPRS01,
author = {Evelina Lamma and
Paola Mello and
Anna Nanetti and
G. Poli and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Jos{\'{e}} Crespo and
Victor Maojo and
Fernando Martin},
title = {An Expert System for Microbiological Data Validation and Surveillance},
booktitle = {Medical Data Analysis, Second International Symposium, {ISMDA} 2001,
Madrid, Spain, October 8-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2199},
pages = {153--160},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45497-7\_23},
doi = {10.1007/3-540-45497-7\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/LammaMNPRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/LammaMMRS01,
author = {Evelina Lamma and
L. Maestrami and
Paola Mello and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Mark van den Brand and
Rakesh M. Verma},
title = {Rule-based Programming for Building Expert Systems: a Comparison in
the Microbiological Data Validation and Surveillance Domain},
booktitle = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {4},
pages = {397--411},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00299-3},
doi = {10.1016/S1571-0661(04)00299-3},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LammaMMRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/LammaRP00,
author = {Evelina Lamma and
Fabrizio Riguzzi and
Lu{\'{\i}}s Moniz Pereira},
title = {Strategies in Combined Learning via Logic Programs},
journal = {Mach. Learn.},
volume = {38},
number = {1-2},
pages = {63--87},
year = {2000},
url = {https://doi.org/10.1023/A:1007681906490},
doi = {10.1023/A:1007681906490},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/LammaRP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KakasR00,
author = {Antonis C. Kakas and
Fabrizio Riguzzi},
title = {Abductive Concept Learning},
journal = {New Gener. Comput.},
volume = {18},
number = {3},
pages = {243--294},
year = {2000},
url = {https://doi.org/10.1007/BF03037531},
doi = {10.1007/BF03037531},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/KakasR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismda/LammaMMSR00,
author = {Evelina Lamma and
M. Manservigi and
Paola Mello and
Sergio Storari and
Fabrizio Riguzzi},
editor = {R{\"{u}}diger W. Brause and
Ernst Hanisch},
title = {A System for Monitoring Nosocomial Infections},
booktitle = {Medical Data Analysis, First International Symposium, {ISMDA} 2000,
Frankfurt, Germany, September 29-30, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1933},
pages = {282--292},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39949-6\_34},
doi = {10.1007/3-540-39949-6\_34},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ismda/LammaMMSR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LammaMMR99,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
title = {Integrating Induction and Abduction in Logic Programming},
journal = {Inf. Sci.},
volume = {116},
number = {1},
pages = {25--54},
year = {1999},
url = {https://doi.org/10.1016/S0020-0255(98)10092-0},
doi = {10.1016/S0020-0255(98)10092-0},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/LammaMMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/MilanoOR99,
author = {Michela Milano and
Andrea Omicini and
Fabrizio Riguzzi},
editor = {Amruth N. Kumar and
Ingrid Russell},
title = {Adopting an Object-Oriented Data Model in Inductive Logic Programming},
booktitle = {Proceedings of the Twelfth International Florida Artificial Intelligence
Research Society Conference, May 1-5, 1999, Orlando, Florida, {USA}},
pages = {273--279},
publisher = {{AAAI} Press},
year = {1999},
url = {http://www.aaai.org/Library/FLAIRS/1999/flairs99-049.php},
timestamp = {Wed, 26 Oct 2022 08:35:36 +0200},
biburl = {https://dblp.org/rec/conf/flairs/MilanoOR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/KakasLR98,
author = {Antonis C. Kakas and
Evelina Lamma and
Fabrizio Riguzzi},
editor = {Fausto Giunchiglia},
title = {Learning Multiple Predicates},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {303--316},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057454},
doi = {10.1007/BFB0057454},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/KakasLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Riguzzi98,
author = {Fabrizio Riguzzi},
editor = {Henri Prade},
title = {Integrating Abduction and Induction},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {475--476},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Riguzzi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {An Algorithm for Learning Abductive Rules},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {295--306},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {Maurizio Lenzerini},
title = {Introducing Abduction into (Extensional) Inductive Logic Programming
Systems},
booktitle = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the
Italian Association for Artificial Intelligence, Rome, Italy, September
17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1321},
pages = {183--194},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63576-9\_107},
doi = {10.1007/3-540-63576-9\_107},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/KakasR97,
author = {Antonis C. Kakas and
Fabrizio Riguzzi},
editor = {Nada Lavrac and
Saso Dzeroski},
title = {Learning with Abduction},
booktitle = {Inductive Logic Programming, 7th International Workshop, ILP-97, Prague,
Czech Republic, September 17-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1297},
pages = {181--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540635149\_47},
doi = {10.1007/3540635149\_47},
timestamp = {Sat, 09 Apr 2022 12:45:22 +0200},
biburl = {https://dblp.org/rec/conf/ilp/KakasR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpkr/LammaMMR97,
author = {Evelina Lamma and
Paola Mello and
Michela Milano and
Fabrizio Riguzzi},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {A System for Abductive Learning of Logic Programs},
booktitle = {Logic Programming and Knowledge Representation, Third International
Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1471},
pages = {102--122},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0054792},
doi = {10.1007/BFB0054792},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lpkr/LammaMMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
