80 citations · 153 across the 15 of their papers we have counts for
16 papers
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
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…
Automatic Differentiation in Prolog
Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi
Automatic differentiation (AD) is a range of algorithms to compute the numeric value of a function's (partial) derivative, where the function is typically given as a computer progr…
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi +1
Hybrid Knowledge Bases based on Lifschitz's logic of Minimal Knowledge with Negation as Failure are a successful approach to combine the expressivity of Description Logics and Logi…
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs
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 distrib…
Optimizing Probabilities in Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi
Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability val…
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
Elena Bellodi, Marco Gavanelli, Riccardo Zese +2
Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetica…