no code implementations • 15 Jun 2023 • Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
The necessity to manage inconsistency in Description Logics Knowledge Bases~(KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when considered either alone or together.
no code implementations • 17 Sep 2021 • Damiano Azzolini, Fabrizio Riguzzi
Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distributions.
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 • 19 Sep 2020 • Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
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 • 3 Jun 2020 • Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
The state-of-the-art hyper-parameters tuning methods are grid search, random search, and Bayesian Optimization.
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 Nov 2015 • Fabrizio Riguzzi
The last part of the paper is devoted to the discussion ongoing among experts in the field and the public at large about on the advantages and disadvantages of AI and in particular on the possible dangers.
1 code implementation • 3 Nov 2015 • Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi
Recently, we see a new type of interfaces for programmers based on web technology.
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.