área de pesquisa
- :Controle de Recepção de Veículos de Transporte de Valores para Manutenção aplicando o Algoritmo Para-analisador da Lógica Paraconsistente Anotada de 2 Valores
- A aplicação da lógica paraconsistente em processos de tomada de decisão
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras
- A Lógica Paraconsistente Anotada de Quatro Valores aplicada em Sistema de Raciocínio Baseado em Casos para o Restabelecimento de Subestações Elétricas
- A Tecnologia Sensorial com a Utilização da Lógica Paraconsistente a Serviços das Pessoas com Deficiência
- Análise de Risco Legal Apoiada na Lógica Paraconsistente Anotada Evidencial Et
- Aplicação Da Lógica Paraconsistente Anotada Evidencial Eτ Como Apoio Aos Especialistas Na Predição De Suspeitos De Crime De Roubo No Estado De São Paulo
- Aplicação da Lógica Paraconsistente Anotada Evidencial Eτ em Engenharia de Requisitos e Interface Homem-Computador
- Aplicação da Lógica Paraconsistente Anotada Evidencial Et no controle de sensores de temperatura na atuação de robôs móveis
- Application of architecture using AI in the training of a set of pixels of the image at aid decision-making diagnostic cancer
- Aspectos da lógica funcional paraconsistente
- Aspectos da qualidade em Tecnologia da Informação apoiados na Lógica Paraconsistente Anotada Evidencial Et
- Automatic prediction of stress in piglets (Sus Scrofa) using infrared skin temperature
- Auxílio Computadorizado no Diagnósticos Precoce de Câncer de Próstata por Meio de Redes Neurais Artificiais Paraconsistentes
- Classificador Paraconsistente de atributos de imagens de mamográficas aplicado no processo de diagnóstico do câncer de mama assistido por computador
- Conectivos de restauração local
- Construção de Cenários Através da Lógica Paraconsistente Anotada Evidencial Et: Um Estudo de Caso
- Desenvolvimento de Modelo Computacional para Auxiliar na Produção de Frango de Corte
- DISPOSITIVO ELETRÔNICO PARACONSISTENTE DE ALERTA DE VAZAMENTO DE GÁS LIQUEFEITO DE PETRÓLEO PARA INSTALAÇÕES RESIDENCIAS E PEQUENOS COMÉRCIOS
- Escala de Usabilidade do Sistema Baseada na Lógica Paraconsistente Anotada Evidencial ET
- Estudo de Modelagem de Sistemas Especialistas Utilizando a Lógica Paraconsistente Anotada
- First-order swap structures semantics for some logics of formal inconsistency
- From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth
- From Inconsistency to Incompatibility
- Fundamentos da lógica anotada
- Fábio Romeu de Carvalho
- Gamificação como Estratégia de Mudança Comportamental Apoiado pela Lógica Paraconsistente Anotada Evidencial Et
- Helga Gonzaga Martins
- Horta Paraconsistente: Um Modelo de Irrigação de Horta baseado em Lógica Paraconsistente
- Instrumento de Avaliação de Competências Aplicando a Lógica Paraconsistente Anotada Evidencial Eτ
- Jean-Yves Béziau
- José Eduardo de Almeida Moura
- La logique paraconsistent C1 de Newton C. A. da Costa
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Luiz Henrique da Cruz Silvestrini
- Lógicas da Inconsistência Deôntica
- Model Theory in a Paraconsistent Environment
- Modelo Paraconsistente de Predição de Estresse em Suínos
- MÉTODO PARACONSISTENTE DE CENÁRIOS PROSPECTIVOS.
- Método paraconsistente de dependência digital no universo empresarial na lógica paraconsistente anotada evidencial et
- Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
- Operadores Modais e Prova Automática de Teoremas: Uma Proposta de Tratamento de Sistemas de Dados Inconsistentes
- PANN Component for Use in Pattern Recognition in medical diagnostics decision-making
- Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
- Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes
- Paraconsistente de Dependência Digital no Universo Empresarial Apoiado na Lógica Paraconsistente Anotada Evidencial E
- ParaDecision-Making Diagnosis Breast Cancer
- ParaDep ? Ferramenta de apoio ao Diagnóstico da Depressão Baseada na Lógica Paraconsistente
- Process of Learning from Demonstration with Paraconsistent Artificial Neural Cells for Application in Linear Cartesian Robots
- Prof. Dr. Jair Minoro Abe
- Programação lógica paraconsistente em lógicas três e quatro valoradas
- Rafael Rodrigues Testa
- Reconhecimento de Caracteres Muméricos Manuscritos Utilizando Redes Neurasi Artificiais Paraconsistentes
- REDES NEURAIS ARTIFICIAIS PARACONSISTENTES E SUA UTILIZAÇÃO PARA RECONHECIMENTO DE PADRÕES
- Revisão de crenças paraconsistente baseada em um operador formal de consistência
- Saulo Rosa e Silva
- Semântica de Sociedades para Lógicas n-valentes
- Sistema de Classificação e Seleção de Tomates Utilizando Controlador Para-Analisador Baseado na Lógica Paraconsistente Anotad Evidencial Et
- Sistema de Frenagem de Máquina de Rotulagem com Controle Baseado na Lógica Paraconsistente Anotada Evidencial Et
- SISTEMA ESPECIALISTA AITOD BASEADO NA LÓGICA PARACONSISTENTE ANOTADA EVIDENCIAL Et
- SISTEMA ESPECIALISTA DE APOIO À ANÁLISE DE LOCOMOÇÃO DE FRANGOS DE CORTE APOIADO NA LÓGICA PARACONSISTENTE ANOTADA EVIDENCIAL Et
- Sistema Especialista de Apoio à Análise de Locomoção de Frango de Corte Apoiado na Lógica Paraconsistente Anotada Evidencial Et
- Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial Et para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-Estruturado
- Sobre os fundamentos de programação lógica paraconsistente
- Software optimization for LGPD compliance using Paraconsistent Evidential Annotated Logic Eτ
- THE ROLE OF ANNOTATED LOGICS IN AI: A REVIEW PAPER
- The synergy of Lean Manufacturing methodology in the context of Industry 4.0: An integrative review
- Três vezes não: un estudo sobre as negações clássica, paraconsistente e paracompleta
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory
- Two Decision Procedures for da Costa?s $$C_n$$ Logics Based on Restricted Nmatrix Semantics
- UM ANALISADOR DE TRÁFEGO DE REDES DE COMPUTADORES BASEADO EM LÓGICA PARACONSISTENTE ANOTADA EVIDENCIAL Et
- Um estudo de C_\omega em Cálculo de Seqüentes e Dedução Natural
- Um modelo de previsão da demanda de mercado baseado na lógica paraconsistente anotada de anotação com dois valores - LPA2v.
- Uma Nova Abordagem para a Noção de Quase-Verdade
- Unification of concepts by Paraconsistent Logic and Rescheduling, Pre-scheduling of Surgeries (Queue of Elective Orthopedic Surgeries) for decision making
- Utilização da Lógica Paraconsistente Anotada Bivalorada na Aplicação do Método Clássico de Huffman
- Valdemir Silva Souza
- Valuation semantics for first-order logics of evidence and truth ∗