Logics, Artificial Intelligence and Formal Methods Lab@University of São Paulo