Título: | RACIOCÍNIO DE COMPLIANCE SOBRE NORMAS LEGAIS: UMA ABORDAGEM BASEADA EM LÓGICA | ||
Autor(es): |
FERNANDO ANTONIO DANTAS GOMES PINTO |
||
Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
Programa: | PPG EM INFORMÁTICA | ||
Área: | TEORIA DA COMPUTAÇÃO | ||
Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO SERGIO LIFSCHITZ - PUC-RIO BRUNO LOPES VIEIRA - UFF ALTIGRAN SOARES DA SILVA - UFAM FERNANDA ARAUJO BAIAO AMORIM - PUC-RIO |
||
Vocabulário: | AUDITORIA LEGAL IALC LOGICA DESCRITIVA RACIOCINIO LEGAL SAT SOLVER |
||
Apresentação: | 26/ABR/2024 | ||
Aceitação: | 26/ABR/2024 | ||
Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
Número de Chamada: |