Intuitionistic logic and legal ontologies
Carregando...
Arquivos
Data
2010
Orientador(res)
Métricas
Título da Revista
ISSN da Revista
Título de Volume
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.
Descrição
Conteúdo online de acesso restrito pelo editor