Probabilistic inference in hybrid domains by weighted model integration
Structured Learning Modulo Theories