Listagem Produção Intelectual em Bases Externas por Assunto "Lógica de computador"

Itens para a visualização no momento 1-1 of 1

    • Intuitionistic logic and legal ontologies 

      Haeusler, Edward Hermann; Paiva, Valeria de; Rademaker, Alexandre
      2010
      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.