Logo
Artigo científico

Intuitionistic logic and legal ontologies

Haeusler, Edward Hermann; Paiva, Valeria de; Rademaker, Alexandre

O documento é disponibilizado pela fonte de origem, que mantém a versão integral e as condições de uso.

Resumo

This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.

Ficha do documento

Tipo
Artigo científico
Ano
2010
Instituição
Ios Press
Idioma
Inglês
Acesso
Acesso restrito
Identificador
oai:repositorio.fgv.br:10438/23347

Conteúdos relacionados

Voltar à Biblioteca
Logo