área de pesquisa Henrique Viana Oliveira Joao Fernando Lima Alcântara Paraconsistency, Disjunction and Uncertainty in Logic Programming: a Unifying Approach Based on Well-founded Semantics Programação em Lógica Estendida da Inconsistência Epistêmica
