2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Tese2020
TEORIA DE MODELOS NUM AMBIENTE PARACONSISTENTE
O PROP´OSITO DESTA TESE ´E DESENVOLVER UMA TEORIA DE MODELOS PARACONSISTENTE A PARTIR DAS BASES LANC¸ADAS POR WALTER CARNIELLI, MARCELO ESTEBAN CONIGLIO, RODRIGO PODIACK E TARC´ISIO RODRIGUES NO ARTIGO ‘ON THE WAY TO A WIDER MODEL THEORY: COMPLETENE…
Tese2017
PROGRAMAÇÃO LÓGICA PARACONSISTENTE EM LÓGICAS TRÊS E QUATRO VALORADAS
A PARTIR DA INTERAÇÃO ENTRE ÁREAS COMO CIÊNCIA DA COMPUTAÇÃO, LÓGICA E DEDU ÇÃO AUTOMÁTICA NASCE UMA IMPORTANTE NOVA ÁREA DENOMINADA PROGRAMAÇÃO LÓGICA. ESTA VEM SENDO UTILIZADA CONTINUAMENTE NO ESTUDO TEÓRICO E EM APLICAÇÕES CONCRETAS EM DIVERSOS R…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.