@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{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}
}
@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}
}
@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},
copyright = {IOS Press},
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.