---

Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 24/04/2017

Nome em citações bibliográficas: VIEIRA, N. J.;VIEIRA, NEWTON J.

---

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

A methodology for analysis of concept lattice reduction
2017. INFORMATION SCIENCES.
Knowledge reduction in formal contexts using non-negative matrix factorization
2015. Mathematics and Computers in Simulation (Print).
Extracting reducible knowledge from ANN with JBOS and FCANN approaches
2013. Expert Systems with Applications.
Using Iceberg Concept Lattices and Implications Rules to Extract Knowledge from Ann
2013. Intelligent Automation and Soft Computing.
Applying the JBOS reduction method for relevant knowledge extraction
2012. Expert Systems with Applications.
Recuperando Caminhos no Esquema Algorítmico Union-Find
1995. Revista de Informática Teórica e Aplicada.
Transformando Deduções do Sistema Formal da Resolução em Árvores de Prova
1989. Pesquisa Operacional.

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
A classification algorithm based on concept similarity
2007. The 27th SGAI International Conference on Artificial Intelligence. 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

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

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

---