no code implementations • 6 Aug 2021 • Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
Uncertain information is being taken into account in an increasing number of application fields.
no code implementations • 2 Oct 2020 • Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
We provide a comparison of the different reasoning settings on several datasets.
no code implementations • 4 Aug 2020 • Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
In Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program.
no code implementations • 17 Sep 2018 • Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
TRILL and TRILLP are systems offering a Prolog implementation of the tableau algorithm.
no code implementations • 13 May 2014 • Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, Riccardo Zese
Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
no code implementations • 9 Sep 2013 • Elena Bellodi, Fabrizio Riguzzi
It performs a beam search in the space of probabilistic clauses and a greedy search in the space of theories, using the log likelihood of the data as the guiding heuristics.