 Research in formal epistemology has also been important in Brazil, where several researchers from artificial intelligence and computer science have examined the application of belief-change theory to various areas. Among them one may mention Odinaldo Rodrigues (b. 1968) and Renata Wassermann (b. 1971).