partner in Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa RITe - Representações: Imaginário e Tecnologia Grupo de Pesquisa TecMF - Logical Reasoning Grupo de Pesquisa
