Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Sequentes
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Attributive Concept Language with Complements(ALC)
-
Cálculo de Sequentes
-
Lógica de Descrições
-
Método de Conexões (MC)
Identidade
identificador BrCris
-
d7fdf007af9a263dffc430d035c4219f
identificador Capes
identificador Oasisbr
-
UFPE_73103a736be02818ea64b595d2455e5e