TY - RPRT TI - Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories AU - Rodrigo de Salvo Braz AU - Ciaran O'Reilly PY - 2017 UR - https://arxiv.org/abs/1709.01122 ID - 1709.01122 ER -