Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
Autor(es): BERNARDO PINTO DE ALKMIM
Orientador (es) : EDWARD HERMANN HAEUSLER
Coorientador (es): CLAUDIA NALON
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: GRADUATE PROGRAM IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Banca: CLARISSE SIECKENIUS DE SOUZA - PUC-RIO
EDWARD HERMANN HAEUSLER - PUC-RIO
MARCO ANTONIO CASANOVA - PUC-RIO
CLAUDIA NALON - UNB
IVAN JOSE VARZINCZAK - PARIS8
RENATA WASSERMANN - USP
Vocabulário: DESCRIPTION LOGIC
IALC
INTUITIONISTIC LOGIC
LEGAL REASONING
NATURAL DEDUCTION
NON-MONOTONIC REASONING
Apresentação: 25/SET/2023
Aceitação: 25/SET/2023
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: