Newton José Vieira


 Professor  Voluntário


Doutor, PUC/RJ, Brasil, 1987

  nvieira@dcc.ufmg.br   www
 ICEx/DCC, sala 7328, +55 (31) 3409-5892
Áreas de pesquisa

Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 24/04/2017

Formação acadêmica

Doutorado em Informática na Pontifícia Universidade Católica do Rio de Janeiro em 1987
Mestrado em Ciências da Computação na Universidade Federal de Minas Gerais em 1978
Graduado em Engenharia Elétrica na Universidade Federal de Minas Gerais em 1974

Projetos de pesquisa em andamento

Projetos de desenvolvimento em andamento

Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos


Trabalhos completos em congressos

From proof trees to justificatory answering
2011. 15th Portuguese Conference on Artificial Intelligence.. 0
Extracting case-based answers from closed proof-trees
2010. ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence. 1
Reducing the size of concept lattices: the JBOS approach
2010. CLA-2010: 7th International Conference on Concept Lattices. 2
Extração e representação de conhecimento de redes neurais artificiais utilizando o reticulado conceitual iceberg e extração de regras de implicação no método FCANN
2009. Workshop em Algoritmos e Aplicações em Mineração de Dados. 3
Uma análise de algoritmos para extração de regras de associação usando análise formal de conceitos
2007. III Workshop em Algoritmos e Aplicações de Mineração de Dados. 4
Uso de Subjugacao para Deteccao de Ciclos em Programacao em Logica
1991. VIII Simposio Brasileiro de Inteligencia Artificial.
Expressoes de Categorias e Raciocinio Default
1991. VIII Simposio Brasileiro de Inteligencia Artificial.
Uma Caracterizacao de Procedimentos de Prova
1987. XIV SEMISH.

Resumos expandidos em congressos


Resumos em congressos

Sistemas de Inferência baseados em Lógica
2006. X Semana da Graduação.
Sistemas de inferência baseados em lógica matemática
2005. IX Semana da Graduação.
Sistemas de inferência baseados em lógica matemática
2004. VIII Semana da Graduação da UFMG.
Modeling Urine Formation by the Kidney
2002. International Congress on Biological and Medical Engineering.
Mobile and Reconfigurable EKG Monitoring System
2002. International Congress on Biological and Medical Engineering.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Doutorado

Sérgio Mariano Dias. Técnicas de redução de reticulados conceituais. Início: 2011. Universidade Federal de Minas Gerais (Orientador principal)
Isabel Gomes Barbosa. Proof trees and justificatory answering. Início: 2011. Universidade Federal de Minas Gerais (Orientador principal)

Veja todas as orientações no Currículo Lattes