80 citations · 153 across the 15 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022★ 1 cited
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…
cs.LO2021★ 1 cited
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…
cs.LO2021
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…