área de pesquisa Formas normais e inferência em lógica de primeira ordem Isabel Tonin Modelos de Explicacao para Sistemas Baseados em Logica Um método de inferência lógica baseado na transformação dual /
