Newton José Vieira

Possui graduação em Engenharia Elétrica pela Universidade Federal de Minas Gerais (1974), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (1978) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1987). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial e Métodos Formais, atuando principalmente nos seguintes temas: inferência baseada em lógica de primeira ordem, árvores de prova, extração de respostas e análise de conceitos formais.

Informações coletadas do Lattes em 16/10/2025

Acadêmico

Formação acadêmica

Doutorado em Informática

1983 - 1987

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Máquinas de Inferência para Sistemas Baseados em Conhecimento
Orientador: Roberto Lins de Carvalho
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: lógica de primeira ordem; resolucão; eliminacão de modelos; máquina de inferência.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

1975 - 1978

Universidade Federal de Minas Gerais
Título: Definicão e Implementacão de um Macro Processador Sintático de Uso Múltiplo,Ano de Obtenção: 1978
Orientador: Wener Arnulf Streitwieser
Palavras-chave: macro processador; macro sintática.Grande área: Ciências Exatas e da Terra

Graduação em Engenharia Elétrica

1970 - 1974

Universidade Federal de Minas Gerais

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Organização de eventos

VIEIRA, N. J. . Membro de comitê de programa da IV Escola Regional de Informática de MInas Gerais. 2005. (Congresso).

VIEIRA, N. J. . Membro do comitê de programa do IX Simpósio Brasileiro de Inteligência Artificial. 1992. (Congresso).

VIEIRA, N. J. . Membro de Comitê de Programa do VI Simpósio Brasileiro de Inteligência Artificial. 1989. (Congresso).

Participação em eventos

X Semana da Graduação.Sistemas de Inferência baseados em Lógica. 2006. (Encontro).

IX Semana da Graduação.Sistemas de inferência baseados em lógica matemática. 2005. (Encontro).

VIII Semana de Graduação da UFMG.Sistemas de inferência baseados em lógica matemática. 2004. (Outra).

VIII Simpósio Brasileiro de Inteligêncai Artificial.Expresões de categorias e raciocínio default. 1991. (Simpósio).

VI Simpósio Brasileiro em Inteligência Artificial.Definitions, functions and linear resolution. 1989. (Simpósio).

V Simpósio Brasileiro de Inteligência Artificial.Explicações em sistemas baseados em lógica. 1988. (Simpósio).

II Simpósio Brasileiro de Inteligência Artificial.SAFO: um ambiente para desenvolvimento de protótipos de sistemas especialistas baseado em lógica. 1985. (Simpósio).

Participação em bancas

Aluno: Sérgio Mariano Dias

VIEIRA, N. J.ZARATE, L. E.; Meira Jr., Wagner. Algoritmos para geração de reticulados conceituais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Gênesis Barros Campos

Di Iorio, V.O.;VIEIRA, N. J.; OLIVEIRA, A. P.; BRAGA, J. L.; Santos, A.G.. Especificação do Comportamento de Agentes Virtuais Inteligentes por Demonstração. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Viçosa.

Aluno: Isabel Gomes Barbosa

VIEIRA, N. J.; SIQUEIRA NETO, J. L.;CASTILHO, M. A.. Obtenção de Respostas Baseadas em Casos a Partir de Árvores de Prova. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Leonardo Teixeira Passos

BIGONHA, M. A. S.; BIGONHA, R. S.; VALENTE, M. T. O.;VIEIRA, N. J.. Gerador LALR com Suporte a Resolução de Conflitos. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Renato Vimieiro

VIEIRA, N. J.ZARATE, L. E.; Resende, R.S.F.. Um estudo de algoritmos para extração de regras baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: João Paulo Domingos Silva

VIEIRA, N. J.ZARATE, L. E.; SIQUEIRA NETO, J. L.. Algoritmos de classificação baseados em análise formal de conceitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Thiago Ferreira Chaves

MATA, J. M.;VIEIRA, N. J.; FERNANDES, A. O.; MATEUS, G. R.; CARVALHO, M. L. B.. Um sistema de apoio à construção de quadros de horários. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Ilma da Consolação Barbosa

BRAGA, J. L.; LUNA, H. P. L.; OLIVEIRA, A. P.; SOUZA, M. J. F.;VIEIRA, N. J.. Prospeccao de Dados no Apoio a Gestao de Conhecimento em um Portal WEB. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Jacques Fux

COELHO JR., C. J. N.; FERNANDES, A. O.;VIEIRA, N. J.. Analise de Algoritmos SAT para Resolucao de Problemas Multivalorados. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Samuel Meira Brasil Júnior

VIEIRA, N. J.; LOPES, R. H. C.. A Mathematical Framework for Modelling Legal Reasoning Trough Conditional Logic. 2004. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

Aluno: Alexandra Moreira

VIEIRA, N. J.. Tesauros e Ontologias: estudo de definicoes presentes na literatura das areas das ciencias da computacao e da informacao. 2003. Dissertação (Mestrado em Ciências da Informação) - Universidade Federal de Minas Gerais.

Aluno: CIRO MENESES SANTOS

VIEIRA, N. J.; BRAGA, A. P.; ZIVIANI, N.; LUNA, H. P. L.. Filtragem de Informacao com Utilizacao e Reformulacao de Perfil. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Flavio Vieira Pontes

VIEIRA, N. J.; BRAGA, J. L.; OLIVEIRA, A. P.; PADUA, C. I. P. S. E.. Gestao de Conhecimento Apoiada por Ontologias. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Luciano Eugênio de Castro Barbosa

VIEIRA, N. J.; BRAGA, J. L.; PADUA, C. I. P. S. E.; MENEZES, C. S.. Interfaces Cooperativas Apoiadas por Ontologias. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Margareth Machado Duarte

VIEIRA, N. J.; OLIVEIRA, A. P.; OLIVEIRA, C. M. G. M.; BRAGA, J. L.. Ferramenta de Apoio a Identificacao de Fatores Criticos de Sucesso em uma Organizacao. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Rêmulo Dias de Carvalho

VIEIRA, N. J.; PEREIRA, A. E. C.; SIQUEIRA NETO, J. L.; LUNA, H. P. L.. Simulacao e Otimizacao do Trafego Urbano com Programacao em Logica com Restricoes sobre Dominios Finitos. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Fábio Dal Lago

VIEIRA, N. J.. Construindo Descricoes Simbolicas Consistentes com a Aplicacao a um Sistema de Autoria de Conceitos Visuais. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Paraná.

Aluno: Renato Elias Nunes de Moraes

VIEIRA, N. J.; LOPES, R. H. C.. A Distributed Scheduling Protocol Based on Switch Architecture: Specification and Verification. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

Aluno: Jefferson Oliveira Andrade

VIEIRA, N. J.; LOPES, R. H. C.; MENEZES, C. S.. Um Framework para Construcao de Teoremas usando Objetos Distribuidos. 2001. Dissertação (Mestrado em Informatica) - Universidade Federal do Espírito Santo.

Aluno: Adelido Martins Pereira

VIEIRA, N. J.. Um assistente para recuperação de informação baseado em contexto. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Marcus Vinicius Pinto

VIEIRA, N. J.; BRAGA, J. L.. Agente para Recuperacao de Informacoes na Rede Municipal de Belo Horizonte. 2000. Dissertação (Mestrado em Administração Pública) - Fundação João Pinheiro.

Aluno: Jeremias de Freitas Ricardo

VIEIRA, N. J.; BRAGA, A. P.; BRAGA, J. L.; PARMA, G. G.; OLIVEIRA, A. P.. Neuroming: Um Sistema para Mineracao de Dados Baseado em Redes Neurais Artificiais. 2000. Dissertação (Mestrado em Engenharia Eletrica) - Universidade Federal de Minas Gerais.

Aluno: José Marques Pessoa

VIEIRA, N. J.; MENEZES, C. S.. Desenvolvimento de Software Orientado a Agentes: Uma Experiencia com Agentes de Interface. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Espírito Santo.

Aluno: Rogério Melo Nepomuceno

VIEIRA, N. J.; SOUZA, J. N.; LIMA-MARQUES, M.; PEREIRA, A. E. C.. Maquinas Abstratas para Prova de Teoremas. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Valério Gomes da Costa

VIEIRA, N. J.. Um sistema de auxílio a elaboração de layouts arquitetônicos. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Rogério Melo Nepomuceno

SOUZA, J. N.; PEREIRA, A. E. C.;VIEIRA, N. J.. Provadores de teoremas em lógicas clássicas e não clássicas. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Ruiter Braga Caldas

VIEIRA, N. J.; SIQUEIRA NETO, J. L.; BRAGA, J. L.. Um Compilador de Excecoes para Otimizacao de Programas Baseados no Paradigma de Geracao e Teste. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Vania Maria de Menezes

VIEIRA, N. J.. Modelagem de conhecimento em lógica: um estudo de caso. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Edjard de Souza Mota

VIEIRA, N. J.. Backtracking em árvores de prova. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Hudson de Martim

VIEIRA, N. J.. Linguagem para representação de fenômenos. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Anderson da Rocha Lemos

VIEIRA, N. J.. Prova automática de teoremas segundo representação NNF. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Marcos Alexandre Castilho

VIEIRA, N. J.. Análise e implementação de árvores de prova. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Raul Henriques Cardoso Lopes

VIEIRA, N. J.. O uso de subjugação na extração de múltiplas respostas em programação em lógica. 1991. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Rinaldo Gurgel Mendes

VIEIRA, N. J.; OMAR, N.. CONDOR: Um Ambiente Integrado de Engenharia de Conhecimento. 1990. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Cássia Vicentina de Carvalho

VIEIRA, N. J.. Uma ferramenta para modelagem de conhecimento baseada em redes taxonômicas. 1990. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Eduardo Costa e Silva

VIEIRA, N. J.; LAENDER, A. H. F.; BRAGA, J. L.. Otimizacao de Consultas a Bancos de Dados usando um Sistema de Programacao em Logica. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Jorge Estevao Neves Ratti

VIEIRA, N. J.; LUNA, H. P. L.; MATEUS, G. R.; MILIDIU, R. L.. Otimizacao de Consultas em Sistemas Especialistas em Diagnosticos. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Eliana de Mattos Pinto Coelho

VIEIRA, N. J.. Modelos de explicação para sistemas baseados em lógica. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Frederico Ferreira Campos, filho

VIEIRA, N. J.; SOARES, J. F.; SANTOS, N. R.. SIGMA: Sistema Interativo para Regressao Linear. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Fabio Tirelo

BIGONHA, R. S.; SARAIVA, J. B. A.; VALENTE, M. T. O.; IERUSALIMSCHY, R.; BIGONHA, M. A. S.;VIEIRA, N. J.. Semântica Incremental de Linguagens de Programação. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Fabrício Vivas Andrade

FERNANDES, A. O.; LUBASZEWSKI, M. S.; CHAU, W. J.; SILVA JUNIOR, D. C.;VIEIRA, N. J.. Contribuições para o Problema de Verificação de Equivalência Combinacional. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Romanelli Lodron Zuim

COELHO JR., C. J. N.; SOUSA, J. J. H. T.; LUNA, H. P. L.; VALENTE, M. T. O.; FERNANDES, A. O.;VIEIRA, N. J.. Uma Heurística de Decisão Baseada na Subtração de Cubos para Solucionadores DPLL do Problema da Satisfabilidade. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Umberto Souza da Costa

Campos, S.V.A.;DEHARBE, D. B. P.VIEIRA, N. J.. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Lucília Camarão de Figueiredo

VIEIRA, N. J.; HAEUSLER, E. H.; BIGONHA, R. S.; CLAUDIO, D. M.; VELOSO, P. A. S.; RANGEL NETO, J. L. M.. L-O-Calculus: Um Modelo para Nao-Determinismo em Linguagens Reflexivas. 1997. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: José Luis Braga

VIEIRA, N. J.; CARVALHO, R. L.. Episteme: Aquisicao e Estruturacao Automaticas de Conhecimento. 1990. Tese (Doutorado em Informatica) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Fabrício Vivas Andrade

FERNANDES, A. O.; LUBASZEWSKI, M. S.; CHAU, W. J.; COELHO JR., C. J. N.; SILVA JUNIOR, D. C.;VIEIRA, N. J.. Verificação de Equivalência Incremental de Circuitos Combinacionais Dissimilares Através de Resolvedores de Satisfabilidade. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Camillo Jorge Santos Oliveira

ARAUJO, A. A.;VIEIRA, N. J.. Identificação de padrões de impressões fotográficas em imagens digitais de fotografias históricas. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Lucília Camrão de Figueiredo

HAEUSLER, E. H.; BIGONHA, R. S.;VIEIRA, N. J.. Um modelo para não-determinismo em linguagens reflexivas. 1995. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Rocha, L.C.D; Fonseca Neto, R.;VIEIRA, N. J.. Professor adjunto/assistente. 2012. Universidade Federal de São João Del-Rei.

VIEIRA, N. J.. Professor assistente. 2011. Universidade Federal de Ouro Preto.

Fonseca Neto, R.;VIEIRA, N. J.. Professor Adjunto. 2010. Universidade Federal de Juiz de Fora.

VIEIRA, N. J.; Ribeiro, R.G.; Vasconcelos, C.D.. Professor Assistente. 2010. Universidade Federal de Ouro Preto.

VIEIRA, N. J.; Toledo, C.F.M.; Fonseca Neto, R.. Professor Assistente. 2009. Universidade Federal de São João Del-Rei.

VIEIRA, N. J.; Toledo, C.F.M.; Fonseca Neto, R.. Professor Adjunto. 2009. Universidade Federal de São João Del-Rei.

VIEIRA, N. J.. Professor Assistente. 2006. Universidade Federal do Espírito Santo.

VIEIRA, N. J.. Professor Adjunto. 2005. Universidade Federal do Paraná.

MAIA, R. A.; ZAMBALDE, A. L.;VIEIRA, N. J.; ROUILLER, A. C.; MONSERRAT NETO, J.. Professor Adjunto. 2004. Universidade Federal de Lavras.

VIEIRA, N. J.. Professor Auxiliar. 1997. Universidade Federal de Lavras.

VIEIRA, N. J.. Professor Adjunto. 1996. Universidade Federal de Minas Gerais.

VIEIRA, N. J.. Professor Assistente. 1993. Universidade Federal do Espírito Santo.

VIEIRA, N. J.. Professor Adjunto. 1993. Universidade Federal de Minas Gerais.

VIEIRA, N. J.. Prefessor Assistente. 1992. Universidade Federal de Ouro Preto.

VIEIRA, N. J.. Professor Auxiliar. 1992. Universidade Federal de Viçosa.

VIEIRA, N. J.. Professor Adjunto. 1991. Universidade Federal Fluminense.

VIEIRA, N. J.. Professor Adjunto. 1989. Universidade Federal de Minas Gerais.

VIEIRA, N. J.. Professor Auxiliar. 1982. Universidade Federal de Minas Gerais.

Orientou

Isabel Gomes Barbosa

Proof trees and justificatory answering; Início: 2011; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Sérgio Mariano Dias

Técnicas de redução de reticulados conceituais; Início: 2011; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Sérgio Mariano Dias

Algoritmos para geração de reticulados conceituais; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Isabel Gomes Barbosa

Obtenção de Respostas Baseadas em Casos a Partir de Árvores de Prova; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Renato Vimieiro

Um estudo de algoritmos para extração de regras baseados em análise formal de conceitos; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

João Paulo Domingos Silva

Algoritmos de classificação baseados em análise formal de conceitos; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Newton José Vieira;

Thiago Ferreira Chaves

Um sistema de apoio à construção de quadros de horários; 2005; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Newton José Vieira;

Ciro Meneses dos Santos

Filtragem de Informacao com Utilizacao e Reformulacao de Perfil; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Margareth Machado Duarte

Ferramenta de apoio a identificação de fatores críticos de sucesso em uma organização; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Newton José Vieira;

Flavio Vieira Pontes

Gestão de conhecimento apoiada por ontologias; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Newton José Vieira;

Adeildo Martins Pereira Junior

Um assistente para recuperacao de informacao basaeado em contexto; ; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Valério Gomes da Costa

Um Sistema de Auxilio a Elaboracao de Layouts Arquitetonicos; 1997; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Vania Maria de Menezes

Modelagem de Conhecimento em Logica: Um Estudo de Caso; 1994; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Edjard de Souza Mota

Backtracking em Arvores de Prova; 1993; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Newton José Vieira;

Hudson de Martim

Linguagem para Representacao de Fenomenos; 1993; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Anderson da Rocha Lemos

Prova Automatica de Teoremas Segundo Representacao NNF; 1993; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Raul Henriques Cardoso Lopes

O Uso de Subjugacao na Extracao de Multiplas Respostas em Programacao em Logica; 1991; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Newton José Vieira;

Marcos Alexandre Castilho

Análise e Implementação de Árvores de Prova; 1991; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Newton José Vieira;

Cássia Vicentina de Carvalho

Uma Ferramenta para Modelagem de Conhecimento Baseada em Redes Taxonomicas; 1990; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Eliana de Mattos Pinto Coelho

Modelos de Explicacao para Sistemas Baseados em Logica; 1989; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Danillo Neves

Um ambiente para resolução de problemas baseado em SAT; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Joao Paulo Macedo e Silva

Uma introução 'a Teoria da Computação; 2005; Trabalho de Conclusão de Curso; (Graduação em Fisica) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Márcio Brandão Albuquerque

Construção incremental de autômatos finitos para conjuntos finitos; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Renato Gasparelli Cavalcante

Construção de um verificador automárico de prova; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Gustavo Costa Rauber

Simulador de vida artificial num ambiente urbano; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Lucas Cotta Repolês

Algoritmos para construção e manutenção de ontologias; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Marko Krajuljac

Sistemas de informação cooperativos baseados em conhecimento; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

João Paulo de Freitas Diniz

Representação e processamento de conhecimento com auto-referência em quebra-cabeças lógicos; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Samuel Morais

Disponibilização de informações em websites para consultas em linguagem natural; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Thiago Ferreira Chaves

Resolução de problemas lógicos com auto-referência; 2002; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Hugo da Silva Sardinha Pinto

Um estudo de aerquiteturas para inteligência: paradigmas, modelos e aplicações; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Sandro Renato Dias

O problema da alocação de Salas da Seção de Ensino do ICEx/UFMG; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Luiz Antônio Rocha Couto

Um sistema de auxílio ao ensino de fundamentos teóricos da computação/versão WWW; 1994; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Carlos Jacques de Oliveira Barros

Um editor LISP; 1994; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Fabio Carvalho de Lima

Um sistema de auxílio ao ensino de fundamentos teóricos da computação; 1993; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Rogério Viana Scalabrini

Modelagem da córnea utilizando técnicas de inteligência artificial; 1992; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Cecília Auler

Especificação e implementação de uma linguagem de sistemas de produção; 1990; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Ceser Cruz Peixoto

Implementação de um sistema de consultas a redes taxonômicas; 1990; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Álfio Lopes Júnior

Uma implementação do jogo Otello; 1990; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Patrícia Aninger de Barrros

Processador de explicações para sistemas baseados em lógica; 1990; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Roberto Cota Guimarães Mendonça

Um jogo de estratégia; 1990; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Hudson de Martim

Organização de memória para um sistema baseado em lógica proposicional; 1988; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Anderson da Rocha Lemos

Máquina de inferência para um sistema baseado em lógica proposicional; 1988; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Janaína Sant´Anna Gomide

Sistemas de diagnóstico baseados em árvores de prova; 2006; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Janaína Sant´Anna Gomide

Diagnóstico baseado em árvores de prova; 2006; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

João Rafael de Moura Palotti

Uso do provador PAL na solução de problemas do tipo "the lady and the tiger"; 2005; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Ivan da Cota Vieira

Uso do provador PAL em diagnóstico de circuitos digitais; 2005; Iniciação Científica; (Graduando em Engenharia de controle e automação) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Frederico Vagner dos Santos

PAL: provador automático de teoremas em árvores de prova; 2004; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Miguel Lima Mendes

Provadores baseados em unificação com sorts; 2004; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Natalia Viana Fargasch

Recuperacao de Caminhos no Esquema Algoritmico Union-Find; 1998; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Newton José Vieira;

Leopoldo Terra Costa

Resolucao nao Clausal; 1998; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Newton José Vieira;

Joao de Carvalho Ferreira

Especificacao e Implementacao de um Sistema de Suporte a Construcao de Maquinas de Inferencia; 1997; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Adriana Bogliolo Sirihal

Projeto e Implementacao de um Algoritmo de Unificacao Semantica para uma Logica Polisortida; 1991; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Marcio Miguelleto de Andrade

Implementacao de uma Maquina de Inferencia para uma Logica Polisortida; 1991; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Jessé Alves Amâncio

Um Sistema Dedutivo Elementar; 1988; Iniciação Científica; (Graduando em Ciencia da Computacao) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Newton José Vieira;

Ricardo Terra Nunes Bueno Villela

Monitoria em Fundamentos da Teoria da Computação; 2009; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Sérgio Mariano Dias

Monitoria em Fundamentos da Teoria da Computação; 2009; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Luciana Fujii Pontello

Monitoria em Fundamentos da Teoria da Computação; 2008; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Renato Vimieiro

Monitoria em Fundamentos da Teoria da Computação; 2006; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Braulio Alves Silva Lara

Monitoria em Matemática Discreta; 2005; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Ricardo Augusto Rabelo Oliveira

Monitoria em Fundamentos da Teoria da Computação; 2005; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Gurvan Huiban

Monitoria em Fundamentos da Teoria da Computação; 2003; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Daniela Cristina Cascini Peixoto

Monitoria em Fundamentos da Teoria da Computação; 2003; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Luiz Filipe Menezes Vieira

Monitoria em Fundamentos da Teoria da Computação; 2002; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Rodrigo Barra de Almeida

Monitoria em Matemática Discreta; 2002; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Pável Pereira Calado

Monitoria em Fundamentos da Teoria da Computação; 2001; Orientação de outra natureza; (Ciencia da Computacao) - Universidade Federal de Minas Gerais; Orientador: Newton José Vieira;

Produções bibliográficas

DIAS, SÉRGIO M. ; VIEIRA, NEWTON J. . A methodology for analysis of concept lattice reduction. INFORMATION SCIENCES , v. 396, p. 202-217, 2017.
CH., ASWANI KUMAR ; DIAS, SÉRGIO M. ; VIEIRA, NEWTON J. . Knowledge reduction in formal contexts using non-negative matrix factorization. Mathematics and Computers in Simulation (Print) , v. 109, p. 46-63, 2015.
DIAS, SÉRGIO M. ; ZÁRATE, LUIS E. ; VIEIRA, NEWTON J. . Extracting reducible knowledge from ANN with JBOS and FCANN approaches. Expert Systems with Applications , v. 40, p. 3087-3095, 2013.
DIAS, SÉRGIO M. ; ZÁRATE, LUIS E. ; VIEIRA, NEWTON J. . Using Iceberg Concept Lattices and Implications Rules to Extract Knowledge from Ann. Intelligent Automation and Soft Computing , v. 19, p. 361-372, 2013.
DIAS, SÉRGIO M. ; VIEIRA, NEWTON J. . Applying the JBOS reduction method for relevant knowledge extraction. Expert Systems with Applications , v. 40, p. 1880-1887, 2012.
DIAS, S. M. ; VIEIRA, N. J. . Um arcabouço para desenvolvimento de algoritmos da análise formal de conceitosR. Revista de Informática Teórica e Aplicada (Impresso) , v. 18, p. 31-57, 2011.
Costa, U.S. ; Campos, S.V.A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science , v. 130, p. 301-321, 2005.
VIEIRA, N. J. . Recuperando Caminhos no Esquema Algorítmico Union-Find. Revista de Informática Teórica e Aplicada , Porto Alegre, v. 2, n.2, p. 37-53, 1995.
VIEIRA, N. J. ; COELHO, E. M. P. . Transformando Deduções do Sistema Formal da Resolução em Árvores de Prova. Pesquisa Operacional , v. 9, n.2, p. 57-71, 1989.
VIEIRA, N. J. . Introdução aos Fundamentos da Computação: Linguagens e máquinas. 1. ed. São Paulo: Thomson, 2006. 319p .
Camarão, C. ; GALVAO, M. ; VIEIRA, N. J. . SAT and Planning. In: Barin Nag. (Org.). Intelligent Systems in Operations: Methods, Models and Applications in the Supply Chain. Hershey, Pennsylvania: IGI Global, 2010, v. , p. 27-40.
VIEIRA, N. J. ; Barbosa, I.G. ; Camarão, C. . From proof trees to justificatory answering. In: 15th Portuguese Conference on Artificial Intelligence., 2011, Lisboa. Proceedings of the 15th Portuguese Conference on Artificial Intelligence., 2011. p. 313-327.
Barbosa, I.G. ; VIEIRA, N. J. . Extracting case-based answers from closed proof-trees. In: ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, 2010, Valencia. Proceedings of the ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence. Portugal: INSTICC, 2010. v. 1-AI. p. 377-384.
DIAS, S. M. ; VIEIRA, N. J. . Reducing the size of concept lattices: the JBOS approach. In: CLA-2010: 7th International Conference on Concept Lattices, 2010, Sevilla. CEUR Workshop Proceedings, 2010. v. 672. p. 80-91.
DIAS, S. M. ; ZARATE, L. E. ; Cardoso, B.N.M. ; VIEIRA, N. J. . 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. In: Workshop em Algoritmos e Aplicações em Mineração de Dados, 2009, Fortaleza. Anais do V Workshop em Algoritmos e Aplicações em Mineração de Dados. Fortaleza, 2009. p. 10-17.
DOMINGOS SILVA, J. P. ; VIEIRA, N. J. . A classification algorithm based on concept similarity. In: The 27th SGAI International Conference on Artificial Intelligence, 2007, Cambridge. Proceedings of AI-2007, The 27th SGAI Int. Conf. on Innovative Techniques and Applications of AI. London: Springer-Verlag, 2007. p. 281-292.
VIMIEIRO, R. ; VIEIRA, N. J. . Uma análise de algoritmos para extração de regras de associação usando análise formal de conceitos. In: III Workshop em Algoritmos e Aplicações de Mineração de Dados, 2007, João Pessoa. Anais do III Workshop em Algoritmos e Aplicações de Mineração de Dados, 2007. p. 31-38.
VIMIEIRO, R. ; ZARATE, L. E. ; VIEIRA, N. J. . Using the NextClosure Algorithm to Extract Rules from Trained Neural Networks: Application in solar energy systems. In: IEEE Mid-Summer Workshop on Soft Computing in Industrial Applications, 2005, Espoo. Proceedings of SMCia'2005, 2005. p. 184-189.
VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator, a Helpful Toolkit in the Learning Process of Computer Theory. In: ACM SIGCSE'2004 Congress, 2004, Norfolk. Proceedings of the SIGCSE'04, 2004. p. 135-139.
SANTOS, C. M. ; VIEIRA, N. J. . Using reformulated profile in information filtering. In: The 19th National Conference on Artificial Intelligence: Semantic Web Personalization, 2004, San Jose'. Proc. of the 19th National Conference on Artificial Intelligence: Semantic Web Personalization, 2004. p. 71-76.
SANTOS, C. M. ; VIEIRA, N. J. . Information filtering with user's profile. In: International Conference on Computing, Communications and Technologies, 2004, Austin. Proc on the nternational Conference on Computing, Communications and Technologies, 2004.
Costa, U.S. ; Campos, S.V.A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-symbolic modelling for formal verification. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do SBMF´2004, 2004. p. 217-232.
VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator: uma ferramenta de auxílio no ensino de Teoria da Computação. In: Workshop de Educação em Computação e Informática do Estado de Minas Gerias, 2003, Pocos de Caldas. Anais do WEIMIG 2003, 2003.
VIEIRA, L. F. M. ; VIEIRA, M. A. M. ; VIEIRA, N. J. . Language Emulator: uma ferramenta de auxílio ao ensino de Teoria da Computação. In: Workshop de Educação em Computação da SBC, 2003, Campinas. Aanis do Workshop de Educacao em Computacao da SBC 2003, 2003.
OLIVEIRA, A. C. G. ; ZARATE, L. E. ; VIEIRA, N. J. . Applying Data Mining in Electronic Circuits Fault Sequences via Automata. In: International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003, Rio de Janeiro. Proceedings of de CSITeA'03, 2003. p. 320-324.
SANTOS, C. M. ; VIEIRA, N. J. . Fltragem de informação com utilização e reformulação de perfil. In: IX Simpósio Brasileiro de Sistemas Multimidia e Web 2003, 2003, Salvador. Anais do WEBMIDIA 2003, 2003.
OLIVEIRA, A. C. G. ; BRESSAN, J. P. L. ; ZARATE, L. E. ; VIEIRA, N. J. . Data mining applied for analysis of fault sequences in electronic circuits. In: Fourth International Conference on Data Mining 2003, 2003, Rio de Janeiro. Proceedings of the Fourth International Conference on Data MIning of the Wessex Institute of Technology 2003, 2003.
VIEIRA, N. J. ; CARVALHO, R. D. ; SIQUEIRA NETO, J. L. . Urban Traffic Simulation and Optimization with Constraint Logic Programming. In: IASTED International Conference on Applied Simulation and Modeling, 2001, Marbella. Proceedings of the IASTED International Conference on Applied Simulation and Modeling, 2001. p. 78-83.
Costa, V.G. ; VIEIRA, N. J. . Um Sistema de Auxílio à Elaboração de Layouts Arquitetônicos. In: I Encontro Nacional de Inteligência Artificial, 1997, Brasilia. Anais do I Encontro Nacional de Inteligência Artificial. Brasilia, 1997.
VIEIRA, N. J. . Uma Classe de Maquinas de Inferencia par5a Sistemas Baseados em Conhecimento. In: Workshop Internacional em Controle Inteligente, 1991, Vitoria. Anais do Workshop Internacional em Controle Inteligente. Vitoria, 1991. p. 11-15.
LOPES, R. H. C. ; VIEIRA, N. J. . Uso de Subjugacao para Deteccao de Ciclos em Programacao em Logica. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 51-58.
CASTILHO, M. A. ; VIEIRA, N. J. . Implementacao de Explicacao de Respostas a Partir de Arvores de Prova. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 173-180.
VIEIRA, N. J. ; CARVALHO, C. V. . Expressoes de Categorias e Raciocinio Default. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasilia. Anais do III Simposio Brasileiro de Inteligencia Artificial. Brasilia, 1991. p. 203-210.
CARVALHO, R. L. ; VIEIRA, N. J. . Definitions, functions and linear resolution. In: VI Simpósio Brasileiro em Inteligência Artificial, 1989, Rio de Janeiro. Anais do VI Simpósio Brasileiro de Inteligência Artificial, 1989. p. 31-50.
VIEIRA, N. J. . Explicacoes em Sistemas Baseados em Logica. In: V Simposio Brasileiro de Inteligencia Artificial, 1988, Natal. Anais do V Simposio Brasileiro de Inteligencia Artificial. Natal, 1988. p. 430-441.
VIEIRA, N. J. . Uma Caracterizacao de Procedimentos de Prova. In: XIV SEMISH, 1987, Salvador. Anais do XIV SEMISH. Salvador, 1987. p. 352-364.
BRAGA FILHO, L. J. ; VIEIRA, N. J. . SAFO: Um Sistema de Programacao Logica para o Desenvolvimento de Sistemas Especialistas. In: Tercer Congreso Latino-Ibero Americano de Investigacion Operativa e Ingeneria de Sistemas, 1986, Santiago. Anais o Tercer Congreso Latino-Ibero Americano de Investigacion Operativa e Ingeneria de Sistemas, 1986.
VIEIRA, N. J. ; CARVALHO, R. L. . SAFO: Um Ambiente para Desenvolvimento de Prototipos de Sistemas Especialistas Baseado em Logica. In: II Simposio Brasileiro de Inteligencia Artificial, 1985, Sao Jose dos Campos. Anais do II Simposio Brasileiro de Inteligencia Artificial. Sao Jose dos Campos, 1985. p. 11-14.
VIEIRA, N. J. . Formatacao do Texto de Saida. In: VI SEMISH, 1979, Sao Paulo. Anais do VI SEMISH. Sao Paulo, 1979. p. 78-80.
VIEIRA, N. J. . Aspectos da Implementacao do MAPPA. In: IV SEMISH, 1977, Belo Horizonte. Anais do IV SEMISH. Belo Horizonte, 1977. p. 819-843.
STREITWIESER, W. A. ; VIEIRA, N. J. . MAPPA: Macroprocessador do PADE. In: III SEMISH, 1976, Porto Alegre. Anais do III SEMISH. Porto Alegre, 1976. p. 186-203.
VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Pires, D.E.V ; Pinto, F.P. ; GOMIDE, J. S. ; Guzella. M.S. ; Cardoso, S.A. . Sistemas de Inferência baseados em Lógica. In: X Semana da Graduação, 2006. Anais da X Semana da Graduação, 2006.
VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Monteiro, C.P.S. ; Palotti, J.R.M. ; Vieira, I.C. ; Menezes P.H.P.C. . Sistemas de inferência baseados em lógica matemática. In: IX Semana da Graduação, 2005, Belo Horizonte. Anais da IX Semana da Graduação da UFMG, 2005.
VIEIRA, N. J. ; SIQUEIRA NETO, J. L. ; Monteiro, C.P.S. ; Mauro, D.F. ; Santos, F.V. ; ALVIM JUNIOR, M. S. F. ; Mendes, M.L. . Sistemas de inferência baseados em lógica matemática. In: VIII Semana da Graduação da UFMG, 2004, Belo Horizonte. Anais da VIII Semana de Graduação da UFMG, 2004.
Carvalho, H.S. ; VIEIRA, N. J. ; VIEIRA, M. A. R. . Modeling Urine Formation by the Kidney. In: International Congress on Biological and Medical Engineering, 2002, Cingapura. ICBME 2202:, 2002.
Carvalho, H.S. ; COELHO JR., C. J. N. ; HEINSELMAN, W. B. ; NACIF, J. A. ; MOREIRA, L. F. E. ; VIEIRA, N. J. ; FERNANDES, A. O. . Mobile and Reconfigurable EKG Monitoring System. In: International Congress on Biological and Medical Engineering, 2002, Cingapura. ICBME 2002: "The Bio-Era: New Challenges, New Forntiers", 2002.
VIEIRA, N. J. . Introdução à Teoria da Computação. Recife: UFRPE/UAB (Sistemas de Informação), 2008 (Livro-texto/ensino à distância).
VIEIRA, N. J. . Introdução à Teoria da Computação. São Paulo: Thomson, 2007 (Revisão técnica).

Histórico profissional

Endereço profissional

Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Av. Antônio Carlos, 6627 Sala 4023/ICEx, Pampulha, 31270-010 - Belo Horizonte, MG - Brasil, Telefone: (31) 34095860, Fax: (31) 34095858, URL da Homepage:

Experiência profissional

1975 - Atual

Universidade Federal de Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR ASSOCIADO, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Membro da Comissão Pemanente de Qualificação.
04/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão Cordenadora do Curso de Especialização em Informática (titular).
05/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Membro do Departamento de Ciência da Computação junto à Comissão de Dispensa de Disciplinas do Ciclo Básico do ICEx (suplente).
11/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Representante do Departamento de Ciência da Computação junto ao Colegiado do Curso de Bacharelado em Matemática (suplente).
01/2002
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Coordenador do Laboratório de Inteligência Computacional.
08/2011 - 12/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Comissão de Seleção Mestrado do PPGCC.
06/2011 - 09/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Banca de avaliação da área de Teoria do Exame de Qualificação do PPGCC.
02/2011 - 05/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Banca da área de Teoria do Exame de Qualificação do PPGCC.
08/2010 - 05/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Comissão de Seleção ao Mestrado do PPGCC.
03/2009 - 05/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da Comissão Permanente de Qualificação - COPEQ/PPGCC-UFMG.
06/2010 - 09/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Banca da área de Teoria do Exame de Qualificação do PPGCC.
10/2008 - 09/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Representante dos Professores Associados/Adjuntos/Assistentes junto à Câmara do Departamento de Ciência da Computação (titular).
02/2010 - 05/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Banca da área de Teoria do Exame de Qualificação do PPGCC.
04/2008 - 03/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão Coordenadora do Curso de Especialização em Informática (titular).
05/2009 - 12/2009
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Seleção para o Reoferecimento do Curso de Especialização em Informática/Ênfase em Engenharia de Software.
05/2006 - 05/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .,Cargo ou função, Membro do Departamento de Ciência da Computação junto à Comissão de Dispensa de Disciplinas do Ciclo Básico do ICEx (suplente).
03/2008 - 03/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Avaliação Parcial do Estágio Probatório do Professor Alexandre Salles da Cunha.