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: | |||