49 citations · 189 across the 32 of their papers we have counts for
Showing 2022 · cs.AIShow all
2 papers · 2 filters
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…
cs.AI2022★ 2 cited
Lifelong Personal Context Recognition
Andrea Bontempelli, Marcelo Rodas Britez, Xiaoyue Li +5
We focus on the development of AIs which live in lifelong symbiosis with a human. The key prerequisite for this task is that the AI understands - at any moment in time - the person…