Sebastian Robert Riedel, Sameer Singh, Vivek Srikumar, Tim Rocktäschel, Larysa Visengeriyeva, Jan Noessner. WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming. In Statistical Relational Artificial Intelligence, Papers from the 2014 AAAI Workshop, Québec City, Québec, Canada, July 27, 2014. Volume WS-14-13 of AAAI Workshops, AAAI, 2014. [doi]
Abstract is missing.