partner in Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa Modelagem, Heurísticas e Raciocínio em Sistemas de Informação Grupo de Pesquisa