Palestra de Allison Magno: Implementação de Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Linguagem Natural
A palestra de Allison Magno foi: "Implementação de Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Linguagem Natural" Os slides podem ser baixados AQUI .