8 citations · 9 across the 3 of their papers we have counts for
3 papers
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…
MAP Inference for Probabilistic Logic Programming
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi +1
In Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program. In this paper, we consider two…
A CHR-based Implementation of Known Arc-Consistency
Marco Alberti, Marco Gavanelli, Evelina Lamma +2
In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…