Kate Revoredo and Gerson Zaverucha. 2010. Revision of Probabilistic Relational Theories through Examples with Predicate Invention. In Proceedings of the 23th Thesis and Dissertation Contest, July 20, 2010, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 97-104.