latest.bib

@inproceedings{AzzRigLamMas19-AIXIA-IC,
  title = {A Comparison of {MCMC} Sampling for Probabilistic Logic Programming},
  author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Franco Masotti },
  booktitle = {Proceedings of the 18th Conference of the Italian Association for Artificial Intelligence ({AI*IA2019}),
Rende, Italy 19-22 November 2019},
  year = 2019,
  editor = {Mario Alviano and Gianluigi Greco and
Francesco Scarcello},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  venue = {Remnde, Italy},
  eventdate = {November 19-22, 2019},
  copyright = {Springer}
}
@article{RigKerLipNat19-FAI-EB,
  author = {Riguzzi, Fabrizio and Kersting, Kristian and Lippi, Marco and Natarajan, Sriraam},
  title = {Editorial: Statistical Relational Artificial Intelligence},
  journal = {Frontiers in Robotics and AI},
  volume = {6},
  pages = {68},
  year = {2019},
  url = {https://www.frontiersin.org/article/10.3389/frobt.2019.00068},
  doi = {10.3389/frobt.2019.00068},
  issn = {2296-9144},
  copyright = {by the authors},
  publisher = {Frontiers Media SA},
  address = {Lausanne, 
Switzerland}
}
@inproceedings{CotRigZesLam18-CILC-NC,
  author = {Cota, Giuseppe and Riguzzi, Fabrizio and Lamma, Evelina and Zese, Riccardo},
  title = {{KRaider}: a Crawler for Linked Data},
  year = {2019},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  volume = {2396},
  editor = {Alberto Casagrande and Eugenio Omodeo},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic},
  url = {http://ceur-ws.org/Vol-2396/paper35.pdf},
  pages = {202-216},
  eventdate = {June 19-21, 2019},
  venue = {Trieste, Italy},
  issn = {1613-0073},
  copyright = {by the authors}
}
@article{NguRig19-ML-IJ,
  author = {Nguembang Fadja, Arnaud  and Fabrizio Riguzzi},
  title = {Lifted Discriminative Learning of Probabilistic Logic Programs},
  journal = {Machine Learning},
  publisher = {Springer},
  copyright = {Springer},
  year = {2019},
  url = {http://ml.unife.it/wp-content/uploads/Papers/NguRig-ML18.pdf},
  doi = {10.1007/s10994-018-5750-0},
  abstract = {
Probabilistic logic programming (PLP) provides a powerful tool for reason- ing with uncertain relational models. However, learning probabilistic logic programs is expensive due to the high cost of inference. Among the proposals to overcome this problem, one of the most promising is lifted inference. In this paper we consider PLP models that are amenable to lifted inference and present an algorithm for performing parameter and structure learning of these models from positive and negative exam- ples. We discuss parameter learning with EM and LBFGS and structure learning with LIFTCOVER, an algorithm similar to SLIPCOVER. The results of the comparison of LIFTCOVER with SLIPCOVER on 12 datasets show that it can achieve solutions of similar or better quality in a fraction of the time.
},
  keywords = { Statistical Relational Learning, Probabilistic Inductive Logic Program- ming, Probabilistic Logic Programming, Lifted Inference, Expectation Maximization
},
  scopus = {2-s2.0-85052570852},
  volume = {108},
  number = {7},
  pages = {1111--1135}
}
@article{LacVraRig19-ML-EB,
  author = {Lachiche, Nicolas and Vrain, Christel and Riguzzi, Fabrizio and Bellodi Elena and Zese Riccardo},
  title = {Preface to special issue on {Inductive Logic Programming}, {ILP} 2017 and 2018},
  journal = {Machine Learning},
  year = {2019},
  pages = {1-3},
  copyrigth = {Springer},
  publisher = {Springer US},
  doi = {10.1007/s10994-019-05790-6},
  scopus = {2-s2.0-85061585564}
}
@article{ZesBelCot19-TPLP-IJ,
  title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: A Prolog-based Approach},
  doi = {10.1017/S1471068418000480},
  journal = {Theory and Practice of Logic Programming},
  publisher = {Cambridge University Press},
  author = {Zese, Riccardo and Cota, Giuseppe and Lamma, Evelina and Bellodi, Elena and Riguzzi, Fabrizio},
  pages = {449--476},
  year = {2019},
  volume = {19},
  number = {3},
  pdf = {https://arxiv.org/pdf/1809.06180.pdf},
  scopus = {2-s2.0-85060024345},
  doi = {10.1017/S1471068418000480}
}
@article{WieRigKow19-TPLP-IJ,
  author = {
Jan Wielemaker and Fabrizio Riguzzi and Bob Kowalski and Torbj\"orn Lager and Fariba Sadri and Miguel Calejo },
  title = {Using {SWISH} to realise interactive web based tutorials for logic based languages },
  journal = {Theory and Practice of Logic Programming},
  year = {2019},
  volume = {19},
  doi = {10.1017/S1471068418000522},
  number = {2},
  publisher = {Cambridge University Press},
  pages = {229-261},
  pdf = {https://arxiv.org/pdf/1808.08042.pdf},
  abstrac = {Programming environments have evolved from purely text based to using graphical user interfaces, 
  and now we see a move toward web-based interfaces, such as Jupyter. Web-based interfaces allow for the 
  creation of interactive documents that consist of text and programs, as well as their output. The output 
  can be rendered using web technology as, for example, text, tables, charts, or graphs. This approach 
  is particularly suitable for capturing data analysis workflows and creating interactive educational 
  material. This article describes SWISH, a web front-end for Prolog that consists of a web server 
  implemented in SWI-Prolog and a client web application written in JavaScript. SWISH provides a 
  web server where multiple users can manipulate and run the same material, and it can be adapted 
  to support Prolog extensions. In this article we describe the architecture of SWISH, and describe 
  two case studies of extensions of Prolog, namely Probabilistic Logic Programming and Logic Production 
  System, which have used SWISH to provide tutorial sites.},
  keywords = {Prolog, logic programming system, notebook interface, web},
  scopus = {2-s2.0-85061599946}
}
@inproceedings{NguLamRig18-RICERCA-IW,
  title = {Vision Inspection with Neural Networks},
  author = {Nguembang Fadja, Arnaud and Evelina Lamma and Fabrizio Riguzzi   },
  booktitle = {{R.i.C.e.R.c.A}: {RCRA} Incontri E Confronti,
Proceedings of the {RiCeRcA} Workshop
co-located with the 17th International Conference of the 
Italian Association for Artificial Intelligence {(Ai*iA 2018)}},
  year = 2018,
  editor = {Marco Maratea and Mauro Vallati},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Trento, Italy},
  eventdate = {November 22, 2018},
  copyright = {by the authors},
  volume = {2272},
  pages = {1-10},
  url = {http://ceur-ws.org/Vol-2272/paper1.pdf},
  scopus = {2-s2.0-85058652909}
}
@inproceedings{NguRigLam18-AIIADC-IW,
  title = {Deep learning for probabilistic logic programming},
  author = {Nguembang Fadja, Arnaud  and Fabrizio Riguzzi and Evelina Lamma  },
  booktitle = {{AI*IA 2018 Doctoral Consortium},
Proceedings of the {AI*IA Doctoral Consortium (DC)}},
  year = 2018,
  editor = {Marco Rospocher and
Luciano Serafini and
Sara Tonelli},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Trento, Italy},
  eventdate = {November 20-23, 2018},
  copyright = {by the authors},
  volume = {2249},
  url = {http://ceur-ws.org/Vol-2249/AIIA-DC2018_paper_9.pdf},
  pages = {43-47},
  scopus = {2-s2.0-85057844515}
}
@inproceedings{CheCotLam18-CILC-NC,
  author = {Chesani, Federico and Cota, Giuseppe and Lamma, Evelina and Mello, Paola and Riguzzi, Fabrizio},
  title = {A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning},
  year = {2018},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  volume = {2214},
  editor = {Paolo Felli and Marco Montali},
  booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic },
  url = {http://ceur-ws.org/Vol-2214/paper13.pdf},
  pages = {117-131},
  eventdate = {September 20-22, 2018},
  venue = {Bolzano, Italy},
  issn = {1613-0073},
  copyright = {by the authors},
  scopus = {2-s2.0-85054323247}
}
@inproceedings{NguRigLam18-AIXIA-IC,
  title = {Expectation Maximization in Deep Probabilistic Logic Programming},
  author = {Nguembang Fadja, Arnaud and Fabrizio Riguzzi  and Evelina Lamma },
  booktitle = {Proceedings of the 17th Conference of the Italian Association for Artificial Intelligence ({AI*IA2018}),
Trento, Italy,  20-23 November, 2018},
  year = 2018,
  editor = {Chiara Ghidini and Bernardo Magnini and Andrea Passerini},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  issn = {1613-0073},
  doi = {10.1007/978-3-030-03840-3_22},
  venue = {Trento, Italy},
  eventdate = {November 20-23, 2018},
  copyright = {Springer},
  url = {http://ml.unife.it/wp-content/uploads/Papers/NguRigLam-AIXIA18.pdf},
  volume = {11298},
  pages = {293-306},
  isbn-print = {978-3-030-03839-7},
  isbn-online = {978-3-030-03840-3},
  scopus = {2-s2.0-85057391654}
}
@inproceedings{CotRigZes18-SUM-IC,
  title = {A Modular Inference System for Probabilistic Description Logics},
  author = {Giuseppe Cota and Fabrizio Riguzzi and Riccardo Zese and Elena Bellodi and Evelina Lamma },
  booktitle = {Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings},
  year = 2018,
  editor = {Davide Ciucci and Gabriella Pasi and Barbara Vantaggi},
  volume = {11142},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  issn = {1613-0073},
  doi = {10.1007/978-3-030-00461-3_6},
  venue = {Milano, Italy},
  eventdate = {October 3-5, 2018},
  copyright = {Springer},
  pages = {78-92},
  isbn-print = {978-3-030-00460-6},
  isbn-online = {978-3-030-00461-3},
  note = {The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-030-00461-3_6}},
  url = {http://ml.unife.it/wp-content/uploads/Papers/CotRigZes-SUM18.pdf},
  scopus = {2-s2.0-85054858704}
}
@inproceedings{RigBelZes18-ILP-EB,
  title = {Preface},
  author = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  booktitle = {Inductive Logic Programming
28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings},
  year = 2018,
  editor = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  volume = {11105},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Artificial Intelligence},
  issn = {1613-0073},
  doi = {10.1007/978-3-319-99960-9},
  url = {https://link.springer.com/content/pdf/bfm:978-3-319-99960-9/1.pdf},
  venue = {Ferrara, Italy,},
  eventdate = {September 2-4, 2018},
  copyright = {Springer},
  pages = {V-VI},
  isbn-print = {978-3-319-99959-3},
  isbn-online = {978-3-319-99960-9},
  scopus = { 2-s2.0-85053221992}
}
@proceedings{ILP2018-EB,
  title = {Inductive Logic Programming
28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings},
  year = 2018,
  editor = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  volume = {11105},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Artificial Intelligence},
  issn = {1613-0073},
  doi = {10.1007/978-3-319-99960-9},
  url = {https://link.springer.com/book/10.1007/978-3-319-99960-9},
  venue = {Ferrara, Italy,},
  eventdate = {September 2-4, 2018},
  copyright = {Springer},
  isbn-print = {978-3-319-99959-3},
  isbn-online = {978-3-319-99960-9}
}
@proceedings{2018-CEUR-EB,
  title = {Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018)},
  year = 2018,
  editor = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  volume = {2206},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2206/},
  venue = {Ferrara, Italy},
  eventdate = {September 2-4, 2018},
  copyright = {by the authors}
}
@inproceedings{NguRigLam18-PLP-IW,
  title = {Learning the Parameters of Deep Probabilistic Logic Programs },
  booktitle = {Probabilistic Logic Programming (PLP 2018)},
  year = 2018,
  author = {Arnaud Nguembang Fadja and Fabrizio Riguzzi and Evelina Lamma },
  editor = {Elena Bellodi and Tom Schrijvers },
  volume = {2219},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2219/paper2.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 1, 2018},
  copyright = {by the authors},
  pages = {9-14},
  scopus = {2-s2.0-85054570623}
}
@inproceedings{RigWieZes18-PLP-IW,
  title = {Probabilistic Inference in {SWI-Prolog} },
  booktitle = {Probabilistic Logic Programming (PLP 2018)},
  year = 2018,
  author = {Fabrizio Riguzzi and Jan Wielemaker and Riccardo Zese },
  editor = {Elena Bellodi and Tom Schrijvers },
  volume = {2219},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2219/paper3.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 1, 2018},
  copyright = {by the authors},
  pages = {15-27},
  scopus = {2-s2.0-85054587455}
}
@inproceedings{AzzRigLam18-PLP-IW,
  title = {Modeling Bitcoin Protocols with Probabilistic Logic Programming },
  booktitle = {Probabilistic Logic Programming (PLP 2018)},
  year = 2018,
  author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Elena Bellodi and Riccardo Zese},
  editor = {Elena Bellodi and Tom Schrijvers },
  volume = {2219},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2219/paper6.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 1, 2018},
  copyright = {by the authors},
  pages = {49-61},
  scopus = {2-s2.0-85054569753}
}
@inproceedings{RigBelZesILP2018-CEUR-EB,
  title = {Preface},
  booktitle = {Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018)},
  year = 2018,
  author = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  editor = {Fabrizio Riguzzi and Elena Bellodi and Riccardo Zese },
  volume = {2206},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2206/preface.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 2-4, 2018},
  copyright = {by the authors},
  pages = {1-5},
  scopus = {2-s2.0-85053797365}
}
@book{Rig18-BK,
  title = {Foundations of Probabilistic Logic Programming},
  author = {Fabrizio Riguzzi},
  publisher = {River Publishers},
  year = {2018},
  isbn = {9788770220187},
  e-isbn = {9788770220170},
  url = {http://www.riverpublishers.com/book_details.php?book_id=660},
  address = {Gistrup,
Denmark}
}
@article{Rig18-MNa-RE,
  author = {Fabrizio Riguzzi},
  title = {Review of
  {Jirou\v sek, Radim; Shenoy, Prakash P. A new definition of entropy of belief functions in the Dempster-Shafer theory. Internat. J. Approx. Reason. 92 (2018), 49--65.}},
  journal = {Mathematical Reviews},
  publisher = {American Mathematical Society},
  copyright = {American Mathematical Society},
  year = {2018},
  month = {May},
  issn = {2167-5163},
  mrnumber = {MR3723293},
  mrreviewer = {Fabrizio Riguzzi},
  url = {http://www.ams.org/mathscinet-getitem?mr=3723293 }
}
@article{ZesBelRig18-AMAI-IJ,
  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 = {Annals of Mathematics and Artificial Intelligence},
  publisher = {Springer},
  copyright = {Springer},
  year = {2018},
  issn-print = {1012-2443},
  issn-online = {1573-7470},
  url = {http://ml.unife.it/wp-content/uploads/Papers/ZesBelRig-AMAI16.pdf},
  pdf = {http://rdcu.be/kONG},
  month = {March},
  day = {01},
  volume = {82},
  number = {1},
  pages = {101--130},
  doi = {10.1007/s10472-016-9529-3},
  abstract = {
The increasing popularity of the Semantic Web drove to a wide-
spread adoption of Description Logics (DLs) for modeling real world domains.
To help the diffusion of DLs, a large number of reasoning algorithms have been
developed. Usually these algorithms are implemented in procedural languages
such as Java or C++. Most of the reasoners exploit the tableau algorithm
which features non-determinism, that is not easily handled by those languages.
Prolog directly manages non-determinism, thus is a good candidate for dealing
with the tableau's non-deterministic expansion rules.
We present TRILL, for "Tableau Reasoner for descrIption Logics in pro-
Log", that implements a tableau algorithm and is able to return explanations
for queries and their corresponding probability, and TRILLP , for "TRILL
powered by Pinpointing formulas", which is able to compute a Boolean for-
mula representing the set of explanations for a query. Reasoning on real world
domains also requires the capability of managing probabilistic and uncertain
information. We show how TRILL and TRILLP can be used to compute the
probability of queries to knowledge bases following DISPONTE semantics.
Experiments comparing these with other systems show the feasibility of the
approach.},
  keywords = { Description Logics, Tableau, Prolog, Semantic Web},
  scopus = {2-s2.0-84990986085}
}
@incollection{RigSwi18-WFS-BC,
  title = {A Survey of Probabilistic Logic Programming},
  author = {Fabrizio Riguzzi and Theresa Swift},
  year = {2018},
  editor = {Michael Kifer and Yanhong A. Liu},
  booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
  publisher = {Association for Computing Machinery and Morgan \& Claypool},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/RigSwi-WFS16.pdf},
  doi = {10.1145/3191315.3191319},
  isbn = {978-1-97000-199-0},
  pages = {185-228},
  address = {New York, NY, USA},
  abstract = {The combination of logic programming and probability has proven useful for modeling domains with complex and uncertain relationships among elements. Many probabilistic logic programming (PLP) semantics have been proposed; among these, the distribution semantics has recently gained increased attention and has been adopted by many languages such as the Independent Choice Logic, PRISM, Logic Programs with Annotated Disjunctions, ProbLog, and P-log.

This chapter reviews the distribution semantics, beginning with the simplest case with stratified Datalog programs, and showing how the definition is extended to programs that include function symbols and non-stratified negation. The languages that adopt the distribution semantics are also discussed and compared both to one another and to Bayesian networks.We then survey existing approaches for inference in PLP languages that follow the distribution semantics. We concentrate on the PRISM, ProbLog, and PITA systems. The PRISM system was one of the first and can be applied when certain restrictions on the program hold. ProbLog introduced the use of Binary Decision Diagrams that provide a computational basis for removing these restrictions and so performing inference over more general classes of logic programs. PITA speeds up inference by using tabling and answer subsumption. It supports general probabilistic programs, but can easily be optimized for simpler settings and even possibilistic uncertain reasoning. The chapter also discusses the computational complexity of the various approaches together with techniques for limiting it by resorting to approximation.},
  keywords = {Probabilistic Logic Programming, Distribution Semantics, Statistical Relational Artificial
  Intelligence}
}
@article{GavLam18-FI-IJ,
  author = {Gavanelli, Marco and Lamma, Evelina and Riguzzi, Fabrizio and Bellodi, Elena and Zese, Riccardo and Cota, Giuseppe},
  title = {Reasoning on Datalog+- Ontologies with Abductive Logic Programming},
  year = {2018},
  journal = {Fundamenta Informaticae},
  volume = {159},
  doi = {10.3233/FI-2018-1658},
  pages = {65--93},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/GavLam-FI18.pdf},
  scopus = {2-s2.0-85043572529}
}

This file was generated by bibtex2html 1.98.