LogIA

Students

2018

1.   Alan Lucas Silva Matias. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
2.   Alisson Alves Martins. (Monitoria) Desenvolvendo habilidades para formalização de conhecimento e prova de suas propriedades. Orientação de outra natureza. Universidade Federal do Ceará. Universidade Federal do Ceará, . Início: 2018.
Orientador: Ana Teresa de Castro Martins.
3.   Bruno Menezes da Rocha. Lógica: Modelos, Expressividade, Complexidade e Aplicações. Iniciação científica (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2018.
Orientador: Ana Teresa de Castro Martins.
4.   Daniel Augusto Ramos Macedo Antunes de Souza. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
5.   Francisco Lucas Falcão Pereira. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
6.   FRANCISCO SAN DIEGO DE SOUSA CASTILHO. Uso da Lógica para formalizar a Argumentação. Iniciação científica (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2018.
Orientador: Ana Teresa de Castro Martins.
7.   GUSTAVO ANTONIO SOUSA PAZ E MOTA. Uso da Lógica para formalizar a Argumentação. Iniciação científica (Graduando em Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Ana Teresa de Castro Martins.
8.   Madson Luiz Dantas Dias. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
9.   Pedro Alves Júnior. Ensino de Lógica para Computação. Orientação de outra natureza. Universidade Federal do Ceará, . Início: 2018.
Orientador: Francicleber Martins Ferreira.
10.   Rodrigo Barbosa. Ensino de Lógica para Computação. Orientação de outra natureza. Universidade Federal do Ceará, . Início: 2018.
Orientador: Francicleber Martins Ferreira.
11.   Thiago de Paula Vasconcelos. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2018.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.

2017

1.   Alisson Sampaio de Carvalho Alencar. a definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
2.   Danilo Avilar Silva. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
3.   Diêgo Farias de Oliveira. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
4.   Lucas Gonçalves de Moura Leite. Transfer Relational Learning - A New Approach Based on Inductive Reasoning. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Joao Fernando Lima Alcântara.
5.   Luis Henrique Bustamante. Parameterized and Circuit Complexity. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).. Início: 2017.
Supervisor: Francicleber Martins Ferreira.
6.   Marcelo Bruno de Almeida Veras. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
7.   Nykolas Mayko Maia Barbosa. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
8.   pedro rocha muniz. Lógica, Complexidade e Expressividade. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2017.
Orientador: Ana Teresa de Castro Martins.
9.   Rafael da Silva Albuquerque. A Relational Learning Method Applied to Rough Description Logics. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2017.
Orientador: Joao Fernando Lima Alcântara.
10.   Renan Gomes Vieira. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
11.   Thiago Alves. Learning First-Order Classes using Ehrenfeucht-Fraisse Games. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Ceará. (Coorientador)., . Início: 2017.
Supervisor: Francicleber Martins Ferreira.
12.   Weslley Lioba Caldas. a definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2017.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.

2016

1.   Antonio Nilo de Araújo Neto. A definir. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2016.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
2.   Arnaldo Araújo Lima Júnior. Uma Abordagem Indutiva para a Representação do Conhecimento. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará. (Coorientador)., Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2016.
Orientadores: Joao Fernando Lima Alcântara, Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
3.   Arthur Leonardo de Alencar Paulino. A definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2016.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
4.   Fernando Dione dos Santos Lima. A definir. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2016.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
5.   Jean Carllo Jardim Costa. a definir. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2016.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
6.   Saulo Anderson Freitas de Oliveira. A definir. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2016.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.

2015

1.   David Feitosa. Modelos de Raciocínio Semântico para Sistemas de PLN. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza, . Início: 2015.
Orientador: Vládia Célia Monteiro Pinheiro.
2.   Gabriela de Melo Pontes Mendes. Expressividade e Complexidade de Lógicas. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Ana Teresa de Castro Martins.
3.   Isis de Castro Andrade. Aplicações da Lógica à FIlosofia da Religião. Iniciação científica (Graduando em Filosofia) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Ricardo Sousa Silvestre.
4.   Jonatas Holanda Nogueira de Aquino. Classificação de imagens utilizando aprendizado de dicionários. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2015.
Orientador: Carlos Eduardo Fisch de Brito.
5.   Marcelo Bruno de Almeida Veras. Máquina de aprendizado minimo para tarefas de agrupamento. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2015.
Orientador: Carlos Eduardo Fisch de Brito.
6.   Ricardo Aragão Junior. O Problema do Mal em Santo Agostinho. Dissertação (Mestrado profissional em Filosofia) - Universidade Federal da Paraíba, . Início: 2015.
Orientador: Ricardo Sousa Silvestre.

2014

1.   Hugo Carvalho de Paula. Assistentes Automáticos de Provas. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2014.
Orientador: Carlos Eduardo Fisch de Brito.
2.   Janio Freire. Similaridade Semântica de Textos. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza, . Início: 2014.
Orientador: Vládia Célia Monteiro Pinheiro.
3.   JOELSON FREITAS DE OLIVEIRA. Suporte do Laboratório de Redes 2. Orientação de outra natureza. Instituto Federal do Ceará - Campus Maracanaú. Instituto Federal de Educação, Ciência e Tecnologia. Início: 2014.
Orientador: Thiago Alves Rocha.
4.   João Gabriel. Processamento de Linguagem Natural em Nuvem. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza, . Início: 2014.
Orientador: Vládia Célia Monteiro Pinheiro.
5.   Luis Henrique Bustamante. Complexidade Descritiva de Problemas que envolvem Grafos. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, . Início: 2014.
Orientador: Ana Teresa de Castro Martins.
6.   Thiago Alves Rocha. Complexidade Descritiva de Classes Probabilísticas. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, . Início: 2014.
Orientador: Ana Teresa de Castro Martins.
7.   Victor Ramon Silva Laboreiro. Classificação de texturas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2014.
Orientador: Bolsista de Produtividade em Pesquisa do CNPq - Nível 2.
8.   Victor Santos. Sistemas Abertos de Extração de Informação. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza, . Início: 2014.
Orientador: Vládia Célia Monteiro Pinheiro.

2013

1.   Carlos Roberto Rodrigues Filho. O Problema da Anterioridade e uma Investigação sobre a Inteligência Artificial Enativa. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2013.
Orientador: Carlos Eduardo Fisch de Brito.
2.   Filipe Francisco Rocha Damasceno. Estimador James Stein para clustering. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2013.
Orientador: Carlos Eduardo Fisch de Brito.
3.   Henrique Viana Oliveira. Teoria das Preferências: uma abordagem baseada em Lógica Modal. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Início: 2013.
Orientador: Joao Fernando Lima Alcântara.

2010

1.   Samy Soares de Sá. Tomando Decisões Grupais em Sistemas Multiagentes com Abdução. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . Início: 2010.
Orientador: Joao Fernando Lima Alcântara.

2006

1.   Carlos Hairon Ribeiro Gonçalves. Middleware adaptativo. Tese (Doutorado em Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2006.
Orientador: Fernando Antonio de Carvalho Gomes.
2.   Tatiana Cavalcante Cacau. Seleção de Dados para Máquinas de Vetores de Suporte. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2006.
Orientador: Fernando Antonio de Carvalho Gomes.

2003

1.   Halisson Rodrigo Oliveira. Programação Quadrática em Bioinformática. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico. Início: 2003.
Orientador: Fernando Antonio de Carvalho Gomes.

2002

1.   Gerson Alves de Castro. Uma ferramenta para o ensino de algoritmos. Dissertação (Mestrado profissional em Informática) - Universidade Estadual do Ceará, . Início: 2002.
Orientador: Fernando Antonio de Carvalho Gomes.


(*) Relatório criado com produções desde 1990 até 2018
Data de processamento: 23/10/2018 16:22:07