Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
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: