José Lopes de Siqueira Neto

1996 - 1997

Pós-Doutorado. , Institut National de Recherche En Informatique Et En Automatique. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Inglês

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

Francês

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.

VIII Semana da Graduação da UFMG.Sistemas de Inferência Baseados em Lógica MAtemática. 2005. (Outra).

IX Semana de Iniciação Científica da UFMG.Implementação de Interpretador Earley. 2000. (Encontro).

Seminário na Faculdade de Ciência da Computação.Inteligência Artificial: mito ou realidade?. 1999. (Seminário).

VIII Semana de Iniciação Científica da UFMG.Ìndices e Projeções baseadas em índicespara o sistema Hyperpro básico. 1999. (Encontro).

I Encontro de Computação da Universidade Federal de Goiás.Inteligência Artificial: Mito ou Realidade?. 1997. (Encontro).

Palestra no Instituto de Automação do Centro Tecnológico de Informática.Programação em Lógica com Restrições. 1997. (Outra).

Em dia com a Ciência.Inteligência Artificial: Mito ou Realidade?. 1997. (Outra).

2º Workshop sobre Educação e Informática.Ensino de Inteligência Artificial: uma proposta de currículo. 1994. (Oficina).

VIEIRA, N. J.;DE SIQUEIRA, J.; BRAGA, J. L.. 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.

VIEIRA, N. J.;DE SIQUEIRA, J.. 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.

A, J. B. M.;DE SIQUEIRA, J.. Uma abordagem para a administração tributária estadual. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

A, J. B. M.;DE SIQUEIRA, J.. Algumas considerações sobre a implementação de sistemas deinformação de uma adaministração. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

DE SIQUEIRA, J.. Simulação e Otimização do fluxo de tráfego urbano com programação em lógica com restrições em domínios finitos. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Gama, A.C.C.; Violaro, F.;DE SIQUEIRA, J.; Vieira, M.N.. Orpheus - Sistema especialista para avaliação de disfonias e de voz cantada. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

AYALA-RINCÓN, M.;DE SIQUEIRA, J.. Unificação em teorias monoidais e módulo aritmética de Presburger. 1998. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

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

AYALA-RINCÓN, M.;DE SIQUEIRA, J.. Limite inferior par atualização de árvores de sufixos. 1997. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

DE SIQUEIRA, J.; VIEIRA, N. J.; BRAGA, J. L.. Um compilador de exceções para otimização de programas baseados no pradigma de geração e teste. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

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

DE SIQUEIRA, J.; PEREIRA, A. E. C.. Programação correta em linguagem de execução distribuída. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

A, J. B. M.;DE SIQUEIRA, J.. Um modelo de busca de informação usando estruturas hierárquicas complexas. 2000 - Universidade Federal de Santa Catarina.

DE SIQUEIRA, J.; PEREIRA, A. E. C.. Inferência de tipos e de fluxos de dados para sistemas de programação em lógica. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

DE SIQUEIRA, J.; PEREIRA, A. E. C.. Programação correta em linguagem de execução distribuída. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Uberlândia.

DE SIQUEIRA, J.; PEREIRA, A. E. C.. A teoria Ubaldiana aplicada à computação evolutiva. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Uberlândia.

PEREIRA, A. E. C.;DE SIQUEIRA, J.. Infere^ncia de tipos e de fluxos e dados para sistemas de programação em lógica. 1999. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

PEREIRA, A. E. C.;DE SIQUEIRA, J.. Uma ferramenta para a construção de agentes inteligentes. 1988. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

DE SIQUEIRA, J.; CAMARÃO, L. F.; MAIA, M.; SANTOS, M. A.; FREDERICO FERREIRA CAMPOS, FILHO. Concurso para profssor assistente em Ciência da Computação da UNIMONTES. 2002. Universidade Estadual de Montes Claros.

DE SIQUEIRA, J.; VIEIRA, N. J.; Camarão, C.. Comissão de seleção para bolsas do Programa de Aprimoramento Discente - PAD. 2005. Universidade Federal de Minas Gerais.

Um extensor à verificação estática de Java, baseado em prova automática de provas; Início: 2006; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Software para solução de exercícios de lógicas não clássicas; Início: 2006; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);

Projeto PAD - SIstemas de Inferência Lógica; Início: 2006; Orientação de outra natureza; Universidade Federal de Minas Gerais; Pró-Reitoria de Graduação da UFMG; (Orientador);

Projeto PAD - Sistemas de Inferência Lógica; Início: 2006; Orientação de outra natureza; Universidade Federal de Minas Gerais; Pró-Reitoria de Graduação da UFMG; (Orientador);

Simulação e Otimização de Tráfego Urbano com Programação em Lógica com Restrições sobre Domínios Finitos; 2001; 125 f; 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: José Lopes de Siqueira Neto;

Construção de um Modelo de Conhecimento para Projeto de Redes de Telecomunicações; 1999; 0 f; Dissertação (Mestrado em Ciências da Informação) - Universidade Federal de Minas Gerais,; Orientador: José Lopes de Siqueira Neto;

Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradgima de Geração e Teste; 1996; 0 f; 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: José Lopes de Siqueira Neto;

Um sistema de auxílio ao profissional médico especializado em homeopatia; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Algoritmo Esquemático para Resolução de Problemas; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Sistema Tipográfico Colaborativo Baseado em Interface Web (WebTeX); 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Automatização do branch-and-bound para resolução de um determinado problema de otimização; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Um novo esquema de programação automático baseado em Prolog e palicado ao problema do caixeiro viajante; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Uso de redes neuronais para previsão de carga em redes elétricas; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Uma ferramenta de edião de documentos estruturados; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Aprendizagem automática em programas de geração e teste; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Projeto PAD - Sistemas de Inferência Lógica; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Uma ferramenta de aprendizagem automática para melhorar o desempenho de programas Prolog de geração-e-teste; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Modelagem por campos reativos aplicada a um jogo virtual de futebol de campo; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Definição de linguagem e implementação de interpretador para modelagem gráfica e mecânica; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Múltiplos usuários locais sobre Linux; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Construção de uma base de conhecimento multidisciplinar para gestão ambiental e agrícola de bacias hidrográficas; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Uma ferramenta para Análise Formal de Conceito; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Desenvolvimento de uma interface de integração entre o SAGEMoLIC eo Graphviz; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Mineração de dados fenomenal através de análise forma de conceitos com aplicação em análise de DNA mitocondrial; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

de Aguiar Santos; Mineração de dados fenomenal aplicada à análise financeira; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Simulação de algoritmos quânticos; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Buscando uma solução para o problema aberto de ordenação ótima; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Um motor para aplicações de computação gráfica 3D em tempo real; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Desenvolvimento de uma interface de integração entre o SAGEMoLIC eo Graphviz; 2002; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Sistema de Assinatura Digital; 2002; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Inteligência artificial aplicada à edição e à simulação tática de um jogo de futebol em Java; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Aplicação da inteligência artificial em um jogo de futebol interativo para a internet: modelage orientada a objetos e interface gráfica; 2000; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Simplificação simbólica de expressões trigonométricas para o seno e o coseno da soma de vários argumentos; 2000; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Aplicação da inteligência artificial em um jogo de futebol interativo para a internet: interação e interface com o usuário; 2000; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Estratégia para Futebol de Robôs usando Programaçaõ em Lógica com Restrições; 1999; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Tratamento de igualdade no Sequoia; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

ABACO-PRO: Ambiente de desenvolvimento de sistemas basados em conhecimento com tratamento de incerteza; 1996; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

FAMA: Ferramenta de Animação de Aáquinas Abstratas; 1995; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Implementação de interpretador Earley; 2000; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

SEQUOIA: Sequentes e Ordens para Inferência Automatizada; 2000; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

ìndices e Projeções no ambiente de programação em estilo literário HyperPro para programação em lógica; 1998; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

ABACO-PRO: Ambiente de desenvolvimento de sistemas basados em conhecimento com tratamento de incerteza; 1996; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Implementação Prolog de um avaliador parcial guiado pela entrada para a lógica de primeira ordem; 1996; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Geração simbólica e simplificação de modelos dinâmicos de robôs industriais; 1996; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Implementação Prolog de um demonstrador automático de teoremas para a lógica de 1ª ordem baseado no Cálculo de Seqüentes de Gentzen; 1995; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Sistemas especialistas cooperativos; 1995; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Um motor de inferência para o SEQUOIA; 1994; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Ordens de simplificação para demosntração automática de teoremas: ordens sintáticas; 1994; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Ordens de simplificação para demosntração automática de teoremas: ordens semânticas; 1994; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Lopes de Siqueira Neto;

Projeto PAD - Sistemas de Inferência Lógica; 2005; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Projeto PAD - Sistemas de Inferência Lógica; 2005; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Projeto PID - Iniciação à docência utilizando recursos da internet como apoio; 2005; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Projeto PAD - Sistemas de Inferência Baseados em Lógica Matemática; 2004; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Projeto PAD - Sistemas de Inferência Baseados em Lógica Matemática; 2004; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Estágio em docência no bacharelado de Ciencia da Computação; 2004; Orientação de outra natureza - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Estágio de docência no bacharelado de Ciência da Computação'; 2004; Orientação de outra natureza - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Projeto PID - Iniciação à docência utilizando recursos da internet como apoio; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Estágio em docência no bacharelado de Ciencia da Computação; 2003; Orientação de outra natureza - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Monitoria do bacharelado de Ciencia da Computação; 2002; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Monitoria do bacharelado de Ciencia da Computação; 2002; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Projeto PID - Iniciação à docência utilizando recursos da internet como apoio; 2000; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais, Pró-Reitoria de Graduação da UFMG; Orientador: José Lopes de Siqueira Neto;

Projeto PID - Iniciação à docência utilizando recursos da internet como apoio; 2000; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Monitoria do bacheralado de Ciência da Computação; 1999; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Monitoria de graduação; 1998; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Monitoria de graduação do bacharelado em Cinência da COmputação; 1996; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

Monitoria do bacharelado em Ciência da Computação; 1994; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: José Lopes de Siqueira Neto;

DE SIQUEIRA, J. ; SCHMIDT, F. M. . Manual do usuário de índices e projeções baseadas em índices para o Hyperpro. 1999.

DE SIQUEIRA, J. ; SCHMIDT, F. M. . Manual de sistema de índices e projeções baseadas em índices para o Hyperpro. 1999.

Alves, L.R. ; Araújo, A.A. ; DE SIQUEIRA, J. . Aplicação da Computação na identificação de pólen dem produtos apícolas. 1999.

DERANSART, P. ; ED-DBALI, A. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. . HyperPro functionalities and utilities. 1997.

DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. . A hypertext based environment to write literate logic programs. 1997.

DE SIQUEIRA, J. . Introdução à linguagem Prolog. 2000. (Curso de curta duração ministrado/Extensão).

DE SIQUEIRA, J. . Demonstração automática de toremas com cálculo de seqüentes de Gentzen: Completeza, correção controle e relações com tableaux e resolução. 1998. (Curso de curta duração ministrado/Outra).