área de pesquisa Divair Maria Terna Gomes Objetos Inteligentes Baseados em CLP para Aplicações Científicas Programação Lógica e Aplicações Programação lógica paraconsistente em lógicas três e quatro valoradas Sobre os fundamentos de programação lógica paraconsistente Tarcísio Genaro Rodrigues
