Avanços e novas perspectivas em revisão de crenças paraconsistente
Revisão em lógicas de descrição e outras lógicas não clássicas
O Raciocínio Abdutivo enquanto um processo de mudança de crenças (AGM) paraconsist...
Melhorando a eficiência de revisão de bases de crença em logics de descrição via m...