8 citations · 19 across the 8 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 8 cited
Enhancing SMT-based Weighted Model Integration by Structure Awareness
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin +2
The development of efficient exact and approximate algorithms for probabilistic inference is a long-standing goal of artificial intelligence research. Whereas substantial progress…
cs.AI2022★ 3 cited
SMT-based Weighted Model Integration with Structure Awareness
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin +2
Weighted Model Integration (WMI) is a popular formalism aimed at unifying approaches for probabilistic inference in hybrid domains, involving logical and algebraic constraints. Des…