@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}
}
@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}
}
@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://mcs.unife.it/~friguzzi/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://mcs.unife.it/~friguzzi/Papers/CotRigZes-SUM18.pdf}
}
@article{WieRigKow18-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 = {2018},
pdf = {https://arxiv.org/pdf/1808.08042.pdf}
}
@article{ZesBelCot18-TPLP-IJ,
author = {Riccardo Zese and
Elena Bellodi and
Giuseppe Cota and
Fabrizio Riguzzi and
Evelina Lamma },
title = {
Probabilistic {DL} Reasoning with Pinpointing Formulas: A {Prolog-based} Approach },
journal = {Theory and Practice of Logic Programming},
year = {2018},
pdf = {https://arxiv.org/pdf/1809.06180.pdf}
}
@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}
}
@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}
}
@article{NguRig18-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 = {2018},
url = {http://mcs.unife.it/~friguzzi/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}
}
@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\ , 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://mcs.unife.it/~friguzzi/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 = {Probabilistic Logic Programming Under the Distribution Semantics},
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://mcs.unife.it/~friguzzi/Papers/RigSwi-WFS16.pdf},
doi = {10.1145/3191315.3191319},
isbn = {978-1-97000-199-0},
pages = {185-228},
address = {New York, NY, USA}
}
@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://mcs.unife.it/~friguzzi/Papers/GavLam-FI18.pdf}
}
@incollection{NguRig17-IMAKE-BC,
author = {Arnaud {Nguembang Fadja} and Fabrizio Riguzzi},
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},
year = {2017},
editor = {Andreas Holzinger and Randy Goebel and Massimo Ferri and Vasile Palade},
publisher = {Springer},
address = {Heidelberg, \Germany},
series = {Lecture Notes in Computer Science},
volume = {10344},
copyright = {Springer},
doi = {10.1007/978-3-319-69775-8_5},
pdf = {http://mcs.unife.it/~friguzzi/Papers/NguRig17-IMAKE-BC.pdf},
abstract = {Probabilistic Programming (PP) has recently emerged as an
effective approach for building complex probabilistic models. Until recently PP was mostly
focused on
functional programming while now Probabilistic Logic Programming (PLP)
forms a significant subfield.
In this paper we aim at presenting a quick overview of the features of current languages and systems
for
PLP.
We first present the basic
semantics for probabilistic logic programs and then consider extensions for
dealing with infinite structures and continuous random variables.
To show the modeling features of PLP in action, we present several examples:
a simple generator of random 2D tile maps,
an encoding of Markov Logic Networks, the truel game,
the coupon collector problem, the one-dimensional random walk, latent Dirichlet allocation and the Indian GPA problem.
These examples show the maturity of PLP.
},
pages = {89--116},
keywords = {Probabilistic Logic Programming, Probabilistic Logical Inference, Hybrid programs},
scopus = {2-s2.0-85033590324},
issn = {1860-949X},
isbn-print = {978-3-319-69774-1},
isbn-online = {978-3-319-69775-8},
note = {The final publication is available at Springer via
\url{http://dx.doi.org/10.1007/978-3-319-69775-8_5}}
}
@article{RigCotBel17-IJAR-IJ,
author = {Fabrizio Riguzzi and Giuseppe Cota and
Elena Bellodi and Riccardo Zese },
title = {Causal Inference in {cplint}},
journal = {International Journal of Approximate Reasoning},
year = {2017},
publisher = {Elsevier},
address = {Amsterdam},
copyright = {Elsevier},
doi = {10.1016/j.ijar.2017.09.007},
pdf = {http://mcs.unife.it/~friguzzi/Papers/RigCotBel-IJAR17.pdf},
abstract = {
cplint is a suite of programs for reasoning and learning with Probabilistic Logic
Programming languages that follow the distribution semantics.
In this paper we describe how we have extended cplint to perform causal reasoning.
In particular, we consider Pearl's do calculus for models where all
the variables are measured.
The two cplint modules for inference, PITA and MCINTYRE, have been extended for
computing the effect of actions/interventions on these models.
We also executed experiments comparing exact and approximate inference with
conditional and causal queries, showing that causal inference is often cheaper than conditional inference.
},
keywords = {
Probabilistic Logic Programming, Distribution Semantics, Logic Programs with Annotated Disjunctions, ProbLog, Causal Inference, Statistical Relational Artificial Intelligence
},
volume = {91},
pages = {216-232},
month = {December},
number = {Supplement C},
issn = {0888-613X},
scopus = {2-s2.0-84992199737},
wos = {WOS:000391080100020}
}
@inproceedings{AlbLamRig17-CILC-NC,
author = {Marco Alberti and Evelina Lamma and Fabrizio Riguzzi and Riccardo Zese},
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},
eventdate = {26-28 September 2017},
venue = {Naples, Italy},
editor = {{Dario Della Monica} and Aniello Murano and Sasha Rubin and Luigi Sauro},
year = {2017},
series = {CEUR Workshop Proceedings},
address = {Aachen, Germany},
issn = {1613-0073},
publisher = {Sun {SITE} Central Europe},
pages = {248-261},
pdf = {http://ceur-ws.org/Vol-1949/CILCpaper01.pdf},
volume = 1949,
abstract = {
MKNF-based Hybrid Knowledge Bases (HKBs) integrate Logic Programming (LP) and
Description Logics (DLs) offering the combined expressiveness of the two formalisms.
In particular, HKB allow to make different closure assumptions for different predicates.
HKBs have been given a well-founded semantics in terms of an alternate fixpoint.
In this paper we provide an alternative definition of the semantics using an
iterated fixpoint. In this way the computation of the well-founded model proceeds
uniformly bottom-up, making the semantics easier to understand, to reason with and to automate.
We also present slightly different but equivalent versions of our definition.
We then discuss the relationships of HKBs with other formalisms.
The results show that overall HKBs seem to be those that more tightly integrate LP and DL,
even if there exist incomparable languages such as the recent FO(ID) formalism.},
keywords = {Hybrid Knowledge Bases, MKNF, Well-foudned semantics, Description Logics}
}
@inproceedings{NguRig17-ILP-IC,
title = {Lifted Discriminative Learning of Probabilistic Logic Programs},
author = {Arnaud {Nguembang Fadja} and Fabrizio Riguzzi},
booktitle = {27th International Conference on Inductive Logic Programming, ILP 2017},
year = {2017},
editor = {Nicolas Lachiche and
Christel Vrain},
pdf = {https://ilp2017.sciencesconf.org/data/pages/ILP_2017_paper_10.pdf}
}
@inproceedings{AlbLamRig17-PLP-IW,
author = {Marco Alberti and Evelina Lamma and Fabrizio Riguzzi and Riccardo Zese},
title = {A Distribution Semantics for non-{DL}-Safe Probabilistic Hybrid Knowledge Bases},
booktitle = {4th International Workshop on Probabilistic logic programming, PLP 2017},
editor = {Christian {Theil Have} and Riccardo Zese},
year = {2017},
pdf = {http://ceur-ws.org/Vol-1916/paper4.pdf},
volume = 1916,
series = {CEUR Workshop Proceedings},
address = {Aachen, Germany},
issn = {1613-0073},
publisher = {Sun {SITE} Central Europe},
pages = {40-50},
scopus = {2-s2.0-85030093850},
abstract = {Logic Programming languages and Description Logics are
based on different domain closure assumptions, closed and the open
world assumption, respectively. Since many domains require both these
assumptions, the combination of LP and DL have become of foremost importance.
An especially successful approach is based on Minimal Knowledge
with Negation as Failure (MKNF), whose semantics is used to de fine
Hybrid KBs, composed of logic programming rules and description logic
axioms. Following such idea, we have proposed an approach for de fining
DL-safe Probabilistic Hybrid Knowledge Bases, where each disjunct in
the head of LP clauses and each DL axiom is annotated with a probability
value, following the well known distribution semantics. In this paper,
we show that this semantics can be unintuitive for non-DL-safe PHKBs,
and we propose a new semantics that coincides with the previous one if
the PHKB is DL-safe.},
keywords = {Hybrid Knowledge Bases, MKNF, Distribution Semantics}
}
@inproceedings{NguLamRig17-PLP-IW,
author = {Arnaud {Nguembang Fadja} and Evelina Lamma and Fabrizio Riguzzi},
title = {Deep Probabilistic Logic Programming},
booktitle = {Proceedings of the 4th International Workshop on Probabilistic logic programming, (PLP 2017)},
editor = {Christian {Theil Have} and Riccardo Zese},
year = {2017},
pdf = {http://ceur-ws.org/Vol-1916/paper1.pdf},
volume = 1916,
series = {CEUR Workshop Proceedings},
address = {Aachen, Germany},
issn = {1613-0073},
publisher = {Sun {SITE} Central Europe},
pages = {3-14},
abstract = {Probabilistic logic programming under the distribution
semantics has been very useful in machine learning. However, inference is
expensive so machine learning algorithms may turn out to be slow. In
this paper we consider a restriction of the language called hierarchical
PLP in which clauses and predicates are hierarchically organized. In this
case the language becomes truth-functional and inference reduces to the
evaluation of formulas in the product fuzzy logic. Programs in this
language can also be seen as arithmetic circuits or deep neural networks
and inference can be reperformed quickly when the parameters change.
Learning can then be performed by EM or backpropagation.},
keywords = {Probabilistic Logic Programming, Distribution Semantics, Deep
Neural Networks, Arithmetic Circuits},
scopus = {2-s2.0-85030091907},
venue = {Orleans, FR},
eventdate = {2017-09-07}
}
@inproceedings{ZamCanRig17-IMW-IW,
author = {Cristian Zambelli and Giuseppe Cancelliere and Fabrizio Riguzzi and Evelina Lamma and Piero Olivo and Alessia Marelli and Rino Micheloni},
booktitle = {2017 IEEE International Memory Workshop (IMW)},
title = {Characterization of {TLC 3D-NAND} Flash Endurance through Machine Learning for {LDPC} Code Rate Optimization},
year = {2017},
pages = {1-4},
keywords = {Clustering algorithms;Computer architecture;Error correction codes;Flash memories;Optimization;Parity check codes;Reliability},
doi = {10.1109/IMW.2017.7939074},
month = {May},
publisher = {IEEE},
venue = {Monterey, CA, USA},
eventdate = {14-17 May 2017}
}
@inproceedings{AlbGavLam17-RR-IC,
author = {Alberti, Marco and Gavanelli, Marco
and Lamma, Evelina
and Riguzzi, Fabrizio
and Riccardo, Zese},
editor = {Costantini, Stefania
and Franconi, Enrico
and Van Woensel, William
and Kontchakov, Roman
and Sadri, Fariba
and Roman, Dumitru},
title = {Dischargeable Obligations in Abductive Logic Programming},
booktitle = {Rules and Reasoning: International Joint Conference,
RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings},
year = {2017},
publisher = {Springer International Publishing},
copyright = {Springer International Publishing AG},
series = {Lecture Notes in Computer Science},
volume = {10364},
address = {Cham},
isbn-print = {978-3-319-61251-5},
isbn-online = {978-3-319-61252-2},
doi = {10.1007/978-3-319-61252-2_2},
pdf = {http://mcs.unife.it/~friguzzi/Papers/AlbGavLam-RR17.pdf},
pages = {7--21},
abstract = {
Abductive Logic Programming (ALP) has been proven very
e ffective for formalizing societies of agents, commitments and norms, in
particular by mapping the most common deontic operators (obligation,
prohibition, permission) to abductive expectations.
In our previous works, we have shown that ALP is a suitable framework
for representing norms. Normative reasoning and query answering were
accommodated by the same abductive proof procedure, named SCIFF.
In this work, we introduce a defeasible
flavour in this framework, in order
to possibly discharge obligations in some scenarios. Abductive expectations
can also be quali fied as dischargeable, in the new, extended syntax.
Both declarative and operational semantics are improved accordingly,
and proof of soundness is given under syntax allowedness conditions.
The expressiveness and power of the extended framework, named SCIFFD,
is shown by modeling and reasoning upon a fragment of the Japanese
Civil Code. In particular, we consider a case study concerning manifestations
of intention and their rescission (Section II of the Japanese Civil
Code).},
keywords = {Abduction, Abductive Logic Programming, Legal Reasoning,
Normative Reasoning},
note = {The final publication is available at Springer via
\url{http://dx.doi.org/10.1007/978-3-319-61252-2_2}}
}
@incollection{RigZesCot17-EKAW-IC,
title = {Probabilistic Inductive Logic Programming on the Web},
author = {Fabrizio Riguzzi and Riccardo Zese and Giuseppe Cota},
booktitle = {20th International Conference on Knowledge Engineering and Knowledge Management,
{EKAW} 2016; Bologna; Italy; 19 November 2016 through 23 November 2016},
year = {2017},
publisher = {Springer},
address = {Cham},
series = {Lecture Notes in Computer Science},
volume = {10180},
pdf = {http://mcs.unife.it/~friguzzi/Papers/RigZesCot-EKAW16.pdf},
isbn-online = {978-3-319-58694-6},
isbn-print = {978-3-319-58693-9},
pages = {172--175},
scopus = {2-s2.0-85019730114},
doi = {10.1007/978-3-319-58694-6_25},
abstract = {Probabilistic Inductive Logic Programming (PILP) is gaining attention for its
capability of modeling complex domains containing uncertain relationships among entities.
Among PILP systems, \texttt{cplint} provides inference and learning algorithms competitive with the state of the art. Besides parameter
learning, \texttt{cplint} provides one of the few structure learning
algorithms for PLP, SLIPCOVER.
Moreover, an online version was recently developed, \texttt{cplint} on SWISH, that allows users to experiment with the system using just a
web browser.
In this demo we illustrate \texttt{cplint} on SWISH concentrating
on structure learning with SLIPCOVER.
\texttt{cplint} on SWISH also includes many examples and a step-by-step tutorial.},
keywords = {Probabilistic Inductive Logic Programming, Probabilistic Logic Programming,
Inductive Logic Programming},
copyright = {Springer International Publishing AG},
note = {The final publication is available at Springer via
\url{http://dx.doi.org/10.1007/978-3-319-58694-6_25}},
venue = {Bologna, Italy},
eventdate = {November 19-November 23, 2016}
}
@inproceedings{RigLamAlb17-URANIA-IW,
title = {Probabilistic Logic Programming for Natural Language Processing },
author = {Fabrizio Riguzzi and Evelina Lamma and Marco Alberti and Elena Bellodi and Riccardo Zese and Giuseppe Cota},
pages = {30--37},
url = {http://ceur-ws.org/Vol-1802/},
pdf = {http://ceur-ws.org/Vol-1802/paper4.pdf},
booktitle = {{URANIA} 2016,
Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents,
Proceedings of the {AI*IA} Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016
co-located with 15th International Conference of the Italian Association for Artificial Intelligence ({AIxIA} 2016)},
year = 2017,
editor = {Federico Chesani and Paola Mello and Michela Milano},
volume = 1802,
series = {CEUR Workshop Proceedings},
address = {Aachen, Germany},
issn = {1613-0073},
venue = {Genova, Italy},
eventdate = {2016-11-28},
publisher = {Sun {SITE} Central Europe},
copyright = {by the authors},
abstract = {The ambition of Artificial Intelligence is to solve problems without human intervention. Often the problem description is given in human (natural) language. Therefore it is crucial to find an automatic way to understand a text written by a human. The research field concerned with the interactions between computers and natural languages is known under the name of Natural Language Processing (NLP), one of the most studied fields of Artificial Intelligence.
In this paper we show that Probabilistic Logic Programming (PLP) is a suitable approach for NLP in various scenarios. For this purpose we use \texttt{cplint} on SWISH, a web application for Probabilistic Logic Programming. \texttt{cplint} on SWISH allows users to perform inference and learning with the framework \texttt{cplint} using just a web browser, with the computation performed on the server.},
keywords = {Probabilistic Logic Programming, Probabilistic Logical Inference, Natural Language Processing},
scopus = {2-s2.0-85015943369}
}
@article{AlbBelCot17-IA-IJ,
author = {Marco Alberti and Elena Bellodi and Giuseppe Cota and
Fabrizio Riguzzi and Riccardo Zese},
title = {\texttt{cplint} on {SWISH}: Probabilistic Logical Inference with a Web Browser},
journal = {Intelligenza Artificiale},
publisher = {IOS Press},
copyright = {IOS Press},
year = {2017},
issn-print = {1724-8035},
issn-online = {2211-0097},
url = {http://mcs.unife.it/~friguzzi/Papers/AlbBelCot-IA17.pdf},
abstract = {
\texttt{cplint} on SWISH is a web application that allows users to
perform reasoning tasks on probabilistic logic programs.
Both inference and learning systems can be performed: conditional probabilities with exact,
rejection sampling and Metropolis-Hasting methods. Moreover, the system now allows hybrid programs,
i.e., programs where some of the random variables are continuous. To perform inference on such programs likelihood weighting and particle filtering are used.
\texttt{cplint} on SWISH is also able to sample goals' arguments and
to graph the results. This paper reports on advances and new features
of \texttt{cplint} on SWISH, including the capability of drawing the
binary decision diagrams created during the inference processes.
},
keywords = { Logic Programming, Probabilistic Logic Programming,
Distribution Semantics, Logic Programs with Annotated Disjunctions, Web
Applications
},
volume = {11},
number = {1},
doi = {10.3233/IA-170106},
pages = {47--64},
wos = {WOS:000399736500004}
}
@article{BelLamRig17-SPE-IJ,
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 = {Software: Practice and Experience},
publisher = {Wiley},
copyright = {Wiley},
year = {2017},
doi = {10.1002/spe.2410},
issn = {1097-024X},
month = {January},
pages = {125--142},
volume = {47},
number = {1},
scopus = {2-s2.0-84992412060},
url = {http://mcs.unife.it/~friguzzi/Papers/BelLamRig-SPE16.pdf},
abstract = {
We present the web application TRILL on SWISH, which allows the user to write probabilistic Description Logic (DL) theories and compute the probability of queries with just a web browser.
Various probabilistic extensions of DLs have been proposed in the recent past, since uncertainty is a fundamental component of the Semantic Web.
We consider probabilistic DL theories following our DISPONTE semantics. Axioms of a DISPONTE Knowledge Base (KB) can be annotated with a probability and the probability of queries can be computed with inference algorithms.
TRILL is a probabilistic reasoner for DISPONTE KBs that is implemented in Prolog and exploits its backtracking facilities for handling the non-determinism of the tableau algorithm.
TRILL on SWISH is based on SWISH, a recently proposed web framework for logic programming, based on various features and packages of SWI-Prolog (e.g., a web server and a library for creating remote Prolog engines and posing queries to them). TRILL on SWISH also allows users to cooperate in writing a probabilistic DL theory.
It is free, open, and accessible on the Web at the url: \trillurl; it includes a number of examples that cover a wide range of domains and provide interesting Probabilistic Semantic Web applications.
By building a web-based system, we allow users to experiment with Probabilistic DLs without the need to install a complex software stack. In this way we aim to reach out to a wider audience and popularize the Probabilistic Semantic Web.
},
keywords = { Semantic Web, Web Applications, Description Logics, Probabilistic Description Logics, SWI-Prolog, Logic Programming
}
}
@article{RigBelZes17-IJAR-IJ,
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 = {International Journal of Approximate Reasoning},
year = {2017},
publisher = {Elsevier},
address = {Amsterdam},
copyright = {Elsevier},
doi = {10.1016/j.ijar.2016.10.002},
url = {http://mcs.unife.it/~friguzzi/Papers/RigBelZes-IJAR17.pdf},
volume = {80},
number = {Supplement C},
issn = {0888-613X},
pages = {313--333},
month = {January},
abstract = {
Lifted inference aims at answering queries from statistical relational models by reasoning on populations of individuals as a
whole instead of considering each individual singularly.
Since the initial proposal by David Poole in 2003, many lifted inference techniques have appeared, by lifting different algorithms or using approximation involving different kinds of models, including parfactor graphs and Markov Logic Networks.
Very recently lifted inference was applied to Probabilistic Logic Programming (PLP) under the distribution semantics, with proposals such as LP2 and Weighted First-Order Model Counting
(WFOMC). Moreover, techniques for dealing with aggregation parfactors can be directly applied to PLP.
In this paper we survey these approaches and present an
experimental comparison on five models.
The results show that WFOMC outperforms the other approaches, being able to exploit more symmetries.
},
keywords = {Probabilistic Logic Programming, Lifted Inference, Variable Elimination, Distribution Semantics, ProbLog, Statistical Relational Artificial Intelligence
},
scopus = {2-s2.0-84992199737},
wos = {WOS:000391080100020}
}
@article{Rig17-MNa-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{K\"otzing, Timo; Palenta, Raphaela A map of update constraints in inductive inference. Theoret. Comput. Sci. 650 (2016), 4--24.
}},
journal = {Mathematical Reviews},
publisher = {American Mathematical Society},
copyright = {American Mathematical Society},
year = {2017},
month = {March},
issn = {2167-5163},
mrnumber = {MR3553781},
mrreviewer = {Fabrizio Riguzzi},
url = {http://www.ams.org/mathscinet-getitem?mr=3553781 }
}
@inproceedings{GavLamRig17-JURISIN-IC,
author = {Gavanelli, Marco
and Lamma, Evelina
and Riguzzi, Fabrizio
and Bellodi, Elena
and Riccardo, Zese
and Cota, Giuseppe},
editor = {Otake, Mihoko
and Kurahashi, Setsuya
and Ota, Yuiko
and Satoh, Ken
and Bekki, Daisuke},
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},
year = {2017},
publisher = {Springer International Publishing},
copyright = {Springer International Publishing AG},
series = {Lecture Notes in Computer Science},
volume = {10091},
address = {Cham},
pages = {187--203},
isbn-online = {978-3-319-50953-2},
isbn-print = {978-3-319-50952-5},
doi = {10.1007/978-3-319-50953-2_14},
scopus = {2-s2.0-85018397999}
}
This file was generated by bibtex2html 1.96.