área de pesquisa Joao Fernando Lima Alcântara Lógicas Não-Monotônicas na Formalização do Senso-Comum Semântica para Lógica Default e Programação em Lógica Baseada em Revisão de Crenças
