Improving Candidate Quality of Probabilistic Logic Models - Côrte-Real, Joana; Dries, Anton; Dutra, Inês; Rocha, Ricardo; Joana Côrte-Real and Anton Dries and Inês Dutra and Ricardo Rocha (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018)