Now showing items 1-2 of 2

    • 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.
    • Passing the Brazilian OAB exam: data preparation and some experiments 

      Delfino, Pedro Moyses; Cuconato, Bruno; Haeusler, Edward Hermann; Rademaker, Alexandre
      2017
      In Brazil, all legal professionals must demonstrate their knowledge of the law and its application by passing the OAB exams, the national Bar exams. This article describes the construction of a new data set and some ...