José Lopes de Siqueira Neto

Bacharel em Física pela Universidade Federal de Minas Gerais (1981), Master of Sciences (M. Sc.) em Engenharia Eletrônica - Netherlands University Foundation For International Cooperation e Philips International Institute (1983) e Docteur ès Sciences (Dr. Sc.) pela Université de Paris XI (Paris-Sud) (1992). Atualmente é Professor Adjunto da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: aprendizagem simbólica automática, demonstração automática de teoremas e programação em lógica e com restrições.

Informações coletadas do Lattes em 29/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Doctorat En Informatique

1986 - 1992

Université Paris-Sud 11
Título: Controle de la démonstration automatique de théorèmes, construction de contre-modèles et applications à l'Intelligence Artificielle
Orientador: Yves Kodratoff
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Demonstração Automática de Teoremas; Inteligência Artificial; Cálculo de Gentzen; Controle da Demonstração Automática de Teoremas; Lógica de Primeira Ordem.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Engenharia Eletrônica

1982 - 1983

Netherlands International Foundation For International Cooperation
Orientador: Jan Maarkrit
Bolsista do(a): Philips International Institute. Palavras-chave: Multiprocessamento; Sistemas Operacionais.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática.

Graduação em Bacharelado Em Física

1978 - 1981

Universidade Federal de Minas Gerais

Ensino Médio (2º grau)

1975 - 1977

Colégio Técnico do Centro Pedagógico da Ufmg

Seção coletada automaticamente pelo Escavador

Pós-doutorado

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.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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.

Seção coletada automaticamente pelo Escavador

Participação em eventos

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).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Isabel Gomes Barbosa

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.

Aluno: João Paulo Domingos Silva

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.

Aluno: Ivete Nunes Barbosa Novelo

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.

Aluno: Mauro Nakamura Filho

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.

Aluno: Rêmulo Dias de Carvalho

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.

Aluno: Helder Soares de Souza

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.

Aluno: Ivan Eid Tavares de Araújo

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.

Aluno: Valério Gomes da Costa

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.

Aluno: Paulo Domingos Conejo

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.

Aluno: Ruiter Braga Caldas

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.

Aluno: Vania Maria de Menezes

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.

Aluno: Mauro Hemerly Gazzani

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.

Aluno: Ilson Wilmar Rodrigues Filho

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.

Aluno: Cedric Luiz de Carvalho

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.

Aluno: Mauro Hemerly Gazzani

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.

Aluno: WELLESLEY BARROS FERREIRA

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.

Aluno: Cedric Luiz de Carvalho

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.

Aluno: Cedric Luiz de Carvalho

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.

Seção coletada automaticamente pelo Escavador

Orientou

Cristian Paolo da Silva Monteiro

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);

Gustavo Henrique Lopes Machado

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);

Douglas Eduardo Valente Pires

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);

Fernando Pacífico Pinto

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);

Rêmulo Dias de Carvalho

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;

Anderson Rodrigues dos Santos

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;

Ruiter Braga Caldas

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;

Andre França Braga

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;

Fernando Pacífico Pinto

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;

Leonardo José da Rocha Lobo Lima

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;

Leonardo Yukio Yoshiwara

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;

Paulo Correa Lara

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;

Arthur Arico Pedro

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;

Marcelo Saldanha de Oliveira

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;

RafaelnNeves de Oliveira Pereira

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;

Cristian Paolo da Silva Monteiro

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;

Pedro Henrique Pinto da Cunha Menezes

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;

Fábio Maia Schmidt

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;

Wiliam Junio Parreiras Martins

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;

Zeniel Juliano Neves Cahves

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;

Clemente Augusto Paixão Silva

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;

Marcelo Gibson de Castro Gonçalves

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;

Wellerson Leite de Araújo

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;

Thaís Ruas Vieira

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;

Rafael Spínola V

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;

Cristiano Arbex Valle

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;

Bruno Teixeira de Abreu

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;

Carlúcio Santos Cordeiro

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;

Wellerson Leite de Araújo

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;

Ana Paula Silva Veloso

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;

Rodigo Ziviani de Souza

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;

Leonardo Gadelha Guimarães

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;

Guilherme Macedo Lamacié

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;

Fabrício da Silva Canez

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;

Alexsandro Fernandes da Fonseca

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;

Adilson Silva

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;

Paulo Márcio Araújo Belloni

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;

Luiz Geraldo Silva Braz

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;

Bruno Rocha Coutinho

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;

Bruno Versiani dos Anjos

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;

Fabrício Maia Schmidt

ì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;

Ramurti de Alencar Barbosa

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;

Adilson Silva

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;

Douglas Aurélio Marques

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;

Evaristo Mascarenhas de Paula

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;

Ramurti de Alencar Barbosa

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;

Elaine Spínola Silva

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;

Andre Gustavo dos Santos

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;

Goedson Teixeira Paixão

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;

João Rafael de Moura Palotti

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;

Ivan da Costa Vieira

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;

Eduardo Costa e Silva

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;

Daniel Fonseca Mauro

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;

Cristian Paolo da Silva Monteiro

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;

Marcelo Borghetti Soares

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;

Bruno Maciel Fonseca

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;

Zeniel Juliano Neves Chaves

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;

Max do Val Machado

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;

Túlio Coelho Tavares

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;

Bruno Teixieira de Abreu

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;

Vítor Vasconcelos Araújo Silva

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;

Erick Lessa de Freitas

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;

Fabrício Cardoso Morais

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;

Natália Viana Fargash

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;

Leonel Francisco Martins Filho

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;

Edimar Vieira Froede Júnior

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;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • AYALA-RINCÓN, M. ; ABREU, B. T. ; DE SIQUEIRA, J. . A variant of the Ford-Johnson algorithm that is more space efficient. Information Processing Letters , v. 102, p. 201-207, 2007.

  • AYALA-RINCÓN, M. ; FONSECA, A. F. ; POUBEL, H. W. ; DE SIQUEIRA, J. . A Framework to Visualize Equivalences Between Computational Models of Regular Languages. Information Processing Letters , Holanda, v. 84, n.1, p. 5-16, 2002.

  • AYALA-RINCÓN, M. ; FONSECA, A. F. ; SILVA, A. H. R. ; POUBEL, H. W. ; DE SIQUEIRA, J. . Animations of relations between Computational Models and Their Language Representations. Bulletin of the European Association for Theoretical Computer Science , Leiden, Holanda, v. 74, p. 235-241, 2001.

  • ED-DBALI, A. ; DERANSART, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. . HyperPro - Un environnement integré de documentation pour la PLC. In: Journées Francophones de Programmation en Logique et par Contraintes, 2001, Paris. Programmation en logique avec contraintes, Actes des JFPLC'2001. Paris: Hermes, 2001. p. 257-269.

  • ED-DBALI, A. ; DERANSART, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. . HyperPro - An integrated documentation environment for CLP. In: Eleventh International Workshop on Logic Programming Environments (WLPE'01), 2001, Paphos, Chipre. Proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), 2001.

  • CARVALHO, R. D. ; DE SIQUEIRA, J. ; VIEIRA, N. J. . Urban Traffic Simulation and Optimization with Constraint Logic Programming. In: IASTED International Conference on Applied Simulation and Modeling, 2001, Marbella, Espanha. Proceedinds of the IASTED International Conference on Applied Simulation and Modeling, 2001. p. 78-83.

  • BIGONHA, M. A. S. ; DE SIQUEIRA, J. ; BIGONHA, R. S. ; ED-DBALI, A. ; DERANSART, P. ; RIBEIRO, F. P. ; SCHMIDT, F. M. . Sistema de Indexação e Projeções de Hyperpro. In: VI Congreso Argentino de Ciencias de la Computación, 2000, Ushuaia, Argentina. Anales del VI Congreso Argentino de Ciencias de la Computación, 2000. p. 335-346.

  • CARVALHO, C. L. ; PEREIRA, A. E. C. ; SILVA, R. M. ; JÚLIA, J. ; DE SIQUEIRA, J. . An Intelligent Control System for Visual Languages. In: 1999 IEEE International Conference on Systems, Man and Cybernetics, 1999, Tokyo. Proceedings of the 1999 IEEE International Conference on Systems, Man and Cybernetics, 1999. p. III-851-III-856.

  • BIGONHA, M. A. S. ; ED-DBALI, A. ; BIGONHA, R. S. ; RIBEIRO, F. P. ; DERANSART, P. ; DE SIQUEIRA, J. . Projection of HyperPro Document. In: II Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do II Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, 1999. p. 171-185.

  • MARQUES, D. A. ; CAMPOS, M. F. M. ; DE SIQUEIRA, J. . Obtenção Automática do Modelo Dinâmico de Manipuladores a Partir do Projeto CAD. In: 3º Simpósio Brasileiro de Automação Inteligente, 1997, Vitória, ES. Anais do 3º Simpósio Brasileiro de Automação Inteligente, 1997. p. 483-489.

  • DERANSART, P. ; BIGONHA, M. A. S. ; PAROT, P. ; DE SIQUEIRA, J. . A literate logic programming system. In: Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do I SBLP, 1996. p. 1-15.

  • DE SIQUEIRA, J. . SEQUOIA: A Theorem Prover for Counter-model Construction. In: XV International Conference of the Chilean Computer Science Society, 1995, Arica, Chile. Proceedings of the XV International Conference of the Chilean Computer Science Society, 1995. p. 414-425.

  • DE SIQUEIRA, J. . Corréction de programmes Prolog à partir d'explications. In: 4ème Journées Françaises d'Apprentissage, 1989, St. Malo, França. Actes des 4ème Journées Françaises d'Apprentissage, 1989. p. 183-193.

  • DE SIQUEIRA, J. . Apprentissagem à partir d'explications dans un environement Prolog complet. In: 3ème Journées Françaises d'Apprentissage, 1988, Cassis, França. Actes des 3ème Journées Françaises d'Apprentissage, 1988. p. 191-218.

  • DE SIQUEIRA, J. ; PUGET, J.-F. . Explanation-Based Generalisation of Failures. In: 8'th European Conference on Artificial Intelligence, 1988, Munique, Alemanha. Proceedings of the 8'th European Conference on Artificial Intelligence, 1988. p. 339-344.

  • DE SIQUEIRA, J. ; PEREIRA, A. E. C. ; A, J. B. M. . Symbolic Computation Applied to Robot Dynamic Modeling. In: 16th International Symposium on Industrial Robots, 1986, Bruxelas, Bélgicaca. Proceedings of the 16th International Symposium on Industrial Robots, 1986. p. 389-400.

  • VIEIRA, N. J. ; DE SIQUEIRA, J. ; Monteiro, C.P.S. ; Palotti, J.R.M. ; Vieira, I.C. ; Menezes, P.H.C. . Sistemas de Inferência Baseados em Lógica Matemática II. In: VIII Semana da Graduação da UFMG, 2005, Belo Horizonte. Anais da VIII Semana da Graduação da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 2005.

  • VIEIRA, N. J. ; DE SIQUEIRA, J. ; Monteiro, C.P.S. ; MAURO, D. F. ; SANTOS, F.V. ; MENDES, M. L. . Sistemas de Inferência Baseados em Lógica Matemática I. In: VII Semana da Graduação da UFMG, 2004, Belo Horizonte. Anais da VII Semana da Graduação da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 2004.

  • SILVA, A. ; DE SIQUEIRA, J. . Implementação do tratamento de igualdade no Sequoia. In: VI Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 205-205.

  • SANTOS, D.A.S. ; PADUA, C. I. P. S. ; COELHO, C.J.N. ; DE SIQUEIRA, J. . Simsel - Simplificador sintático de expressões lógicas. In: VI Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Impremssa Universitária da UFMG, 1997. p. 206-206.

  • DERANSART, P. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; BIGONHA, M. A. S. . A hypertext based environment to write literate logic programs. In: Joint International Conference and Symposium on Logic Programming, 1997, Bon. Proceedings fo the JICSLP'96, 1997. p. 243-252.

  • SILVA, A. ; DE SIQUEIRA, J. . Implementação Prolog de um avaliador parcial guiado pela entrada para a lógica de primeira ordem. In: V Semana de Iniciação Científica da UFMG, 1997, Belo Horizonte. Resumos da V SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 191-191.

  • MARQUES, D. A. ; DE SIQUEIRA, J. . Geração simbólica e simplificação de modelos dinâmicos de robôs industriais. In: V Semana de Iniciação Científica da UFMG, 1996, Bel. Resumos da V SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1996. p. 192-192.

  • BARBOSA, R. A. ; DE SIQUEIRA, J. . Sistemas especialistas cooperativos. In: IV Semana de Iniciação Científica da UFMG, 1995, Belo Horizonte. Resumos da IV Semana de Iniciação Científica da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 1995.

  • PAULA, E. M. ; DE SIQUEIRA, J. . SEQUOIA: Um demonstrador detoremas controlável para o cálculo de seqüentes. In: IV Semana de Iniciação Científica da UFMG, 1995, Belo Horizonte. Resumos da IV Semana de Iniciação Científica da UFMG. Belo Horizonte: Imprensa Universitária da UFMG, 1995.

  • DE SIQUEIRA, J. . Counter-Model Construction trhough Controllable Deduction. In: Workshop on Logic Language Information and Computation, 1994, Recife. Bulletin of the Interest Group in Pure and Applied Logics, 1994. v. 3. p. 143-144.

  • SCHMIDT, F. M. ; DE SIQUEIRA, J. ; BIGONHA, M. A. S. ; DERANSART, P. ; BIGONHA, R. S. ; ED-DBALI, A. . Ìndices e Projeções baseadas em índices para o sistema Hyperpro básico. In: VIII Semana de Iniciação Científica da UFMG, 1999, Belo Horizonte. Resumos da SIC'99, 1999. p. 191-191.

  • Fonseca, N.M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DERANSART, P. ; ED-DBALI, A. ; DE SIQUEIRA, J. . Um ambiente para desenvolver programas em Machina baseado em paradigmas de estilo literário. In: VIII Semana de Iniciação Científica da UFMG, 1999, Belo Horizonte. Resumos da SIC'99, 1999. p. 189-189.

  • RIBEIRO, F. P. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; DERANSART, P. ; ED-DBALI, A. . Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário. In: VII Semana de Iniciação Científica da UFMG, 1998, Belo Horizonte. Resumos da VII SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1998. p. 204-204.

  • RIBEIRO, F. P. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; DE SIQUEIRA, J. ; DERANSART, P. ; PAROT, P. . Um ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário. In: VI Semana de Iniciação Cinetífica da UFMG, 1997, Belo Horizonte. Resumos da VI SIC. Belo Horizonte: Imprensa Universitária da UFMG, 1997. p. 207-207.

  • DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; DE SIQUEIRA, J. . A Hypertext Based Environment to Write Literate Logic Programs. In: Joint International Conference and Synposium on Logic Programming, 1996, Bonn, Alemanha. Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, 1996. p. 540-540.

  • DE SIQUEIRA, J. . Ensino de Inteligencia Artificial: uma proposta de curriculo 1994 (Artigo Didático (Classificação CNCT, inexistente para CNPq & CAPES)).

Seção coletada automaticamente pelo Escavador

Outras produções

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).

Histórico profissional

Seção coletada automaticamente pelo Escavador

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, Pampulha, 31270-901 - Belo Horizonte, MG - Brasil, Telefone: (31) 34995860, Fax: (31) 34995858, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

1994 - Atual

Universidade Federal de Minas Gerais

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

Atividades

  • 06/2002

    Conselhos, Comissões e Consultoria, .,Cargo ou função, Membro de conselho de unidade.

  • 03/1994

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos Teóricos da Computação, Inteligência Artificial, Algoritmos eEstruturas de Dados I, Algoritmos e Estruturas de Dados II

  • 01/1994

    Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 08/1995 - 12/1996

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Fundamentos Teóricos da Computação, Tópicos Especiais em Inteligência Artificial

  • 10/1995 - 08/1996

    Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Outro.

1990 - 1992

Institut Universitaire de Technologie D'orsay

Vínculo: Colaborador, Enquadramento Funcional: Auxiliar Temporário de Ensino e Pesquisa, Carga horária: 20

Atividades

  • 09/1990 - 10/1992

    Ensino, Formação Técnica Superior em Informática, Nível: Graduação,Disciplinas ministradas, Algoritmos e Linguagem C, Sistemas Operacionais

1989 - 1993

École Nationale Supérieure de Techniques Avancées

Vínculo: Colaborador, Enquadramento Funcional: Professor assistente, Carga horária: 4

Atividades

  • 04/1989 - 04/1993

    Ensino, Engenharia Naval, Nível: Pós-Graduação,Disciplinas ministradas, Introdução à Lógica Matemática, Banco de Dados, Programação em Lógica, Programção Funcional, Intrligência Artificial

1988 - 1990

École Supérieure Díngénieurs En Electrotechnique Et Electronique

Vínculo: Colaborador, Enquadramento Funcional: Professor Assistente, Carga horária: 2

Atividades

  • 06/1988 - 08/1990

    Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritomos e Estruturas de Dados, Programção Estruturada

1984 - 1986

Fundação Centro Tecnológico para Informática

Vínculo: Celetista, Enquadramento Funcional: Técnico Superior, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Estudo e especificaçãode um alinguagem de programaçãodistribuída de alto nível, apropriada ao desenvolvimentode aplicações de controle industrial, baseada emrede local de microcomputadores. Estudo ose diferentes protocolos de redes locais adequados à realização de umarede localparaapliações industriais

Atividades

  • 03/1985 - 07/1986

    Pesquisa e desenvolvimento , Instituto de Automação, Divisão de Inteligência Artificial.,Linhas de pesquisa

  • 06/1984 - 03/1985

    Pesquisa e desenvolvimento , Instituto de Automação, Divisão de Inteligência Artificial.,Linhas de pesquisa