Markov logic networks with numerical constraints
Probabilistic inference in hybrid domains by weighted model integration