Portal do Governo Brasileiro
s
Mostrando
1 - 3
resultados de
3
para a busca '
"[pt] IALC"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "[pt] IALC"
Buscas alternativas
:
ialc »
iaplc
(Expandir a busca)
,
iaslc
(Expandir a busca)
,
iac
(Expandir a busca)
Mostrando
1 - 3
resultados de
3
para a busca '
"[pt] IALC"
'
, tempo de busca: 0,06s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Assuntos:
“
...[pt]
IALC
...
”
[en] COMPLIANCE REASONING ON LEGAL NORMS: A LOGIC-BASED APPROACH
Por
FERNANDO ANTONIO DANTAS GOMES PINTO
Publicado em 2024
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
2
Assuntos:
“
...[pt]
IALC
...
”
[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
Por
BERNARDO PINTO DE ALKMIM
Publicado em 2020
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
3
Assuntos:
“
...[pt]
IALC
...
”
[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
Por
BERNARDO PINTO DE ALKMIM
Publicado em 2024
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Tese
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
3
Bases coletadas
Repositório Institucional da PUC-RIO (Projeto Maxwell)
3
Autor
BERNARDO PINTO DE ALKMIM
2
FERNANDO ANTONIO DANTAS GOMES PINTO
1
Tipo de documento
Tese
3
Tipo de acesso
openAccess
3
Idioma
Inglês
2
Português
1
Assunto
[en] IALC
3
[en] LEGAL REASONING
3
[pt] IALC
3
[en] DESCRIPTION LOGIC
2
[en] INTUITIONISTIC LOGIC
2
[pt] LOGICA DESCRITIVA
2
Mais ...
[pt] LOGICA INTUICIONISTA
2
[pt] RACIOCINIO LEGAL
2
[en] BRAZILIAN LEGISLATION
1
[en] DESCRIPTION LOGICS
1
[en] LEGAL AUDITING
1
[en] LEGAL TEXT FORMALIZATION
1
[en] NATURAL DEDUCTION
1
[en] NON-MONOTONIC REASONING
1
[en] SAT SOLVER
1
[pt] AUDITORIA LEGAL
1
[pt] DEDUCAO NATURAL
1
[pt] FORMALIZACAO DE TEXTOS JURIDICOS
1
[pt] LEGISLACAO BRASILEIRA
1
[pt] LOGICA DE DESCRICAO
1
[pt] RACIOCINIO JURIDICO
1
[pt] RACIOCINIO NAO-MONOTONICO
1
[pt] SAT SOLVER
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...