WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming.
Sebastian RiedelSameer SinghVivek SrikumarTim RocktäschelLarysa VisengeriyevaJan NoessnerPublished in: AAAI Workshop: Statistical Relational Artificial Intelligence (2014)