Univ Federal do Rio de Janeiro

Aline Marins Paes

é doutora em Engenharia de Sistemas e Computação na COPPE - Universidade Federal do Rio de Janeiro (2011), mestre pela mesma instituição (2005) e Bacharel em Informática e Tecnologia da Informação pela Universidade do Estado do Rio de Janeiro (2002). Fez doutorado sanduíche por um ano (2008/2009) no Imperial College London, UK. Atua na área de Ciência da Computação, com ênfase em Inteligência Artificial, principalmente nos seguintes temas: aprendizado de máquina, aprendizado relacional (programação em lógica indutiva - ILP), aprendizado estatístico relacional (SRL), revisão de teorias, redes Bayesianas, algoritmos estocásticos e jogos.
(Texto informado pelo autor)

Última atualização do currículo em 26/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/0506389215528790
Dados pessoais
NomeAline Marins Paes
Nome em citações bibliográficasPAES, A.
SexoFeminino
Endereço profissionalUniversidade Federal do Rio de Janeiro, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Programa de Engenharia de Sistemas e Computação.
Av Brigadeiro Trompowksi - Centro de Tecnologia, Bloco H, sala H-317/12
Ilha do Fundão
21945-970 - Rio de Janeiro, RJ - Brasil - Caixa-Postal: 68511
Telefone: (21) 25628679 Fax: (21) 25628676
URL da Homepage: www.cos.ufrj.br/~ampaes

Formação acadêmica/Titulação
2005 - 2011Doutorado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
com período sanduíche em Imperial College of Science, Technology and Medicine(Orientador:Stephen Muggleton ).
Título: On the Effective Revision of (Bayesian) Logic Programs from Examples, Ano de Obtenção: 2011.
Orientador: Gerson Zaverucha e Vítor Manuel de Morais Santos Costa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Aprendizado de Máquina; Aprendizado Estatístico Relacional; Aprendizado Relacional; Busca Local Estocástica; ILP; Revisão de teoria.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligencia Artificial.
2003 - 2005Mestrado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: PFORTE: Revisão de Teorias Probabilísticas de Primeira-ordem através de Exemplos, Ano de Obtenção: 2005.
Orientador: Gerson Zaverucha e Vítor Manuel de Morais Santos Costa.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: Aprendizado de Máquina; ILP; Revisão de teoria; Lógica de Primeira-ordem; Redes Bayesianas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligencia Artificial.
1999 - 2002Graduação em Bacharel em Informática e Tecnologia da Informação .
Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Título: Recuperação de informações em arquivos compactados e indexados.
Orientador: Paulo Eustáquio Duarte Pinto.

Formação complementar
2003 - 2003Linguagem de Programação Java (SL275). (Carga horária: 45h).
Sun Microsystems.

Atuação profissional
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional
2011 - Atual Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 10
Vínculo institucional
2010 - Atual Vínculo: Professor substituto, Enquadramento Funcional: Professor substituto, Carga horária: 20
Vínculo institucional
2005 - 2011 Vínculo: Doutoranda, Enquadramento Funcional: Aluna de doutorado, Carga horária: 40
Atividades
08/2011 - 12/2011Ensino, Engenharia Elétrica, Nível: Graduação.
Disciplinas ministradas
Computação II
08/2011 - 12/2011Ensino, Engenharia de Petróleo, Nível: Graduação.
Disciplinas ministradas
Computação II
08/2011 - 12/2011Ensino, Engenharia Mecânica, Nível: Graduação.
Disciplinas ministradas
Computação II
01/2011 - 07/2011Ensino, Matemática, Nível: Graduação.
Disciplinas ministradas
Computação II
08/2010 - 07/2011Ensino, Ciências Matemáicas e da Terra, Nível: Graduação.
Disciplinas ministradas
Computação I - Linguagem Python
08/2010 - 12/2010Ensino, Engenharia - básico, Nível: Graduação.
Disciplinas ministradas
Computação I - Linguagem Python
2006 - 2010Atividades de Participação em Projeto, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, .
Projetos de pesquisa
Algoritmos: engenharia e fundamentos
2007 - 2009Atividades de Participação em Projeto, Coordenação dos Programas de Pós-Graduação de Engenharia, .
Projetos de pesquisa
PFORTE: Revisão de Teorias Probabilísticas Relacionais a partir de Exemplos
Centro Universitário Plínio Leite, UNIPLI, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Celetista formal, Enquadramento Funcional: Professor assistente, Carga horária: 10
Atividades
08/2010 - AtualEnsino, Ciência da computação, Nível: Graduação.
Disciplinas ministradas
Introdução a organização de computadores
Lógica
Sistemas Operacionais I
05/2010 - 07/2010Ensino, Ciência da computação, Nível: Graduação.
Disciplinas ministradas
Inteligência Artificial
Linguagem C
ABEU Centro Universitário, UNIABEU, Brasil.
Vínculo institucional
2006 - 2010 Vínculo: Professor, Enquadramento Funcional: Professor Assistente Horista, Carga horária: 4
Atividades
08/2010 - 12/2010Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação.
Disciplinas ministradas
Negócios na Internet
02/2010 - 07/2010Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação.
Disciplinas ministradas
Negócios na Internet
Projeto de Banco de Dados
08/2009 - 02/2010Ensino, Tecnologia em Redes de Computadores, Nível: Graduação.
Disciplinas ministradas
Banco de Dados
Sistemas de Computação
Sistemas Operacionais I
07/2006 - 06/2008Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação.
Disciplinas ministradas
Tópicos Especiais em Computação (Mineração de Dados)
Programação Orientada a Objetos
Algoritmos
02/2006 - 12/2007Ensino, Sistemas de Informação, Nível: Graduação.
Disciplinas ministradas
Análise e Projeto de Sistemas Orientado a Objetos
Inteligência Artificial
02/2006 - 12/2007Ensino, Tecnologia em Informatica, Nível: Graduação.
Disciplinas ministradas
Redes de Computadores
Universidade Iguaçu, UNIG, Brasil.
Vínculo institucional
2008 - 2010 Vínculo: Professor, Enquadramento Funcional: Professor Assistente Horista, Carga horária: 4
Atividades
07/2009 - 01/2010Ensino, Sistemas de Informação, Nível: Graduação.
Disciplinas ministradas
Estruturas de Dados II
Lógica Matemática
01/2008 - 07/2008Ensino, Sistemas de Informação, Nível: Graduação.
Disciplinas ministradas
Estruturas de Dados II
Lógica para Computação

Projetos de Pesquisa
2007 - 2009PFORTE: Revisão de Teorias Probabilísticas Relacionais a partir de Exemplos
Descrição: Projeto CNPq Edital MCT/CNPq 15/2007 - Universal - Faixa B, R$ 49.982,64 , Processo: 472202/2007-3, Revisao de Modelos Probabilisticos Relacionais a partir de Exemplos.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 2) / Doutorado ( 3) .
Integrantes: Kate Revoredo - Integrante / Gerson Zaverucha - Coordenador / Vítor Santos Costa - Integrante / Ana Luisa Cerqueira Duboc - Integrante / Eric Couto - Integrante / Carina Isabel Medeiros Lopes - Integrante / Felipe Azevedo Brown do Coutto - Integrante / Aline Marins Paes - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2006 - AtualAlgoritmos: engenharia e fundamentos
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Paulo Augusto Silva Veloso - Coordenador / Aline Marins Paes - Integrante.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro..

Revisor de periódico
2006 - 2006 Periódico: Artificial Intelligence

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligencia Artificial.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
2009Quatro Melhores Artigos do VII Encontro Nacional de Inteligência Artificial (ENIA 2009): Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas,, Sociedade Brasileira de Computação (SBC).
2007Melhor Artigo do Congresso VI Encontro Nacional de Inteligência Artificial (ENIA 2007):Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica., Sociedade Brasileira de Computação.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   DUBOC, A. L. ; PAES, A. ; ZAVERUCHA, G. . Using the Bottom Clause and Mode Declarations in FOL Theory Revision from Examples. Machine Learning, v. 76, p. 73-109, 2009.
Trabalhos completos publicados em anais de congressos
1. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas. In: VII Encontro Nacional de Inteligência Artificial (ENIA 2009), 2009, Bento Goncalves. VII Encontro Nacional de Inteligência Artificial, 2009.
2. MUGGLETON, S. ; PAES, A. ; SANTOS COSTA, V. ; ZAVERUCHA, G. . Chess Revision: Acquiring the Rules of Chess through Theory Revision from Examples. In: Workshop on General Game Playing / 21st International Joint Conference on Artificial Intelligence (IJCAI-09), 2009, Pasadena. Workshop on General Game Playing / 21st International Joint Conference on Artificial Intelligence (IJCAI-09), 2009. p. 1-8.
3.   MUGGLETON, S. ; PAES, A. ; SANTOS COSTA, V. ; ZAVERUCHA, G. . Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. In: 19th International Conference on Inductive Logic Programming, 2009, Leuven. Proceedings of the 19th International Conference on Inductive Logic Programming, 2009. v. 5989. p. 123-130.
4. DUBOC, A. L. ; PAES, A. ; ZAVERUCHA, G. . Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. In: 18th International Conference on Inductive Logic Programming, 2008, Prague. Proceedings of the 18th International Conference on Inductive Logic Programming, 2008. v. 5194. p. 91-106.
5. Couto, E. ; Pereira, R. ; Niedu, G. ; PAES, A. ; ZAVERUCHA, G. . Busca Direcionada a Modos na Adição de Antecedentes em Revisão de Teorias de Primeira-ordem a partir de Exemplos. In: II Workshop on Computational Intelligence (WCI), 2008, Salvador. II Workshop on Computational Intelligence (WCI), 2008.
6. PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica. In: VI Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. VI Encontro Nacional de Inteligência Artificial, 2007.
7. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combinando Invenção de Predicados e Revisão de Teorias Probabilísticas de primeira-ordem. In: VI Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. VI Encontro Nacional de Inteligência Artificial, 2007.
8.   PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revising First-order Logic Theories from Examples through Stochastic Local Search. In: Revised Selected Papers of the 17th Annual International Conference on Inductive Logic Programming (ILP-2007), 2007, Corvallis. Lecture Notes in Artificial Intelligence, 2007. v. 4894. p. 200-210.
9. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Revising Probabilistic FOL Theories. In: 2nd International Joint Conference (10th Ibero-American Conference on AI, 18th Brazilian AI Symposium), 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence. Heidelberg : Springer-Verlag, 2006. v. 4140. p. 441-450.
10.   PAES, A. ; ZELEZNY, F. ; ZAVERUCHA, G. ; PAGE, D. ; SRINIVASAN, A. . ILP through Propositionalization and Stochastic k-term DNF Learning. In: Revised Selected Papers of 16th International Conference on Inductive Logic Programming (ILP 2006), 2006, Santiago de Compostela. Lecture Notes in Artificial Intelligence, 2006. v. 4455. p. 379-393.
11.   PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Probabilistic First-Order Theory Revision from Examples. In: 15th International Conference on Inductive Logic Programming, 2005, Bonn. Lecture Notes in Artificial Intelligence. Heidelberg : Springer Verlag, 2005. v. 3625. p. 295-311.
12. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisão de Teorias Probabilísticas de Primeira-Ordem.. In: V Encontro Nacional de Inteligência Artificial (ENIA 2005) / SBC, 2005, São Leopoldo. V Encontro Nacional de Inteligência Artificial (ENIA 2005) / SBC, 2005. p. 932-941.
13. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Comparação de Funções de Avaliação em Revisão de Teorias Probabilísticas de Primeira-ordem. In: VII Congresso Brasileiro de Redes Neurais, 2005, Natal. VII Congresso Brasileiro de Redes Neurais, 2005.
Resumos expandidos publicados em anais de congressos
1. SANTOS COSTA, V. ; PAES, A. . On the Relationship between PRISM and CLP(BN). In: International Workshop on Statistical Relational Learning, 2009, Leuven. Proceedings of the International Workshop on Statistical Relational Learning, 2009.
2. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combining Predicate Invention and Revision of Probabilistic FOL theories. In: 16th International Conference on Inductive Logic Programming (ILP 2006), 2006, Santiago de Compostela. Short Paper Preceedings of the 16th International Conference on Inductive Logic Programming (ILP-06). Coruna : UDC Press Service, 2006. p. 176-178.
3. PAES, A. ; ZELEZNY, F. ; ZAVERUCHA, G. ; PAGE, D. ; SRINIVASAN, A. . ILP through Propositionalization and Stochastic k-term DNF Learning. In: 16th International Conference on Inductive Logic Programming (ILP-06), 2006, Santiago de Compostela. Short Paper Preceedings of the 16th International Conference on Inductive Logic Programming (ILP-06). Coruna : UDC Press, 2006. p. 164-168.
Resumos publicados em anais de congressos
1. Pereira, R. ; Couto, E. ; Niedu, G. ; PAES, A. ; ZAVERUCHA, G. . Busca Direcionada a Modos na Adição de Antecedentes por Descoberta de Caminhos Relacionais em Revisão de Teorias de Primeira-ordem a partir de Exemplos. In: XXX Jornada de Iniciação Científica da UFRJ, 2008, Rio de Janeiro. XXX Jornada de Iniciação Científica da UFRJ, 2008.
2. Couto, E. ; Pereira, R. ; Niedu, G. ; PAES, A. ; ZAVERUCHA, G. . Busca Direcionada a Modos na Adição de Antecedentes Hill-Climbing em Revisão de Teorias de Primeira-ordem a partir de Exemplos. In: XXX Jornada de Iniciação Científica da UFRJ, 2008, Rio de Janeiro. XXX Jornada de Iniciação Científica da UFRJ, 2008, 2008.
3. Niedu, G. ; Pereira, R. ; Couto, E. ; PAES, A. ; ZAVERUCHA, G. . Definindo Determinações de Predicados em Revisão de Teorias de Primeira-ordem a partir de Exemplos. In: XXX Jornada de Iniciação Científica da UFRJ, 2008, Rio de Janeiro. XXX Jornada de Iniciação Científica da UFRJ, 2008.
4. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Further Results of Probabilistic First-Order Revision of Theories from Examples. In: 4th Workshop on Multi-Relational Data Mining / The Eleventh ACM SIGKDD International Conference on Knowledge Discovery, 2005, Chicago. Proceedings of the 4th Workshop on Multi-Relational Data Mining / The Eleventh ACM SIGKDD International Conference on Knowledge Discovery, 2005. p. 59-59.
Apresentações de Trabalho
1. PAES, A. . Chess Revision: Acquiring the Rules of Chess through Theory Revision from Examples. 2009. (Apresentação de Trabalho/Seminário).
2. MUGGLETON, S. ; PAES, A. ; SANTOS COSTA, V. ; ZAVERUCHA, G. . Chess Revision: Acquiring the Rules of Chess through Theory Revision from Examples. 2009. (Apresentação de Trabalho/Conferência ou palestra).
3. PAES, A. . Advances on First-order Logic Theory Revision from Examples System. 2008. (Apresentação de Trabalho/Seminário).
4. PAES, A. . Revision of Bayesian Logic Programs from Examples. 2008. (Apresentação de Trabalho/Seminário).
5. PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica. 2007. (Apresentação de Trabalho/Congresso).
6. PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revising First-Order Logic Theories from Examples through Stochastic Local Search. 2007. (Apresentação de Trabalho/Congresso).
7. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combining Predicate Invention and Revision of Probabilistic FOL Theories. 2006. (Apresentação de Trabalho/Congresso).
8. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Revising Probabilistic FOL theories. 2006. (Apresentação de Trabalho/Congresso).
9. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisão de Teorias Probabilísticas de Primeira-Ordem. 2005. (Apresentação de Trabalho/Congresso).
10. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Comparação de Funções de Avaliação em Revisão de Teorias Probabilísticas de Primeira-ordem. 2005. (Apresentação de Trabalho/Congresso).
Produção técnica
Softwares sem registro de patente
1. PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . BFORTE. 2011.
2. DUBOC, A. L. ; PAES, A. ; Couto, E. ; Pereira, R. ; ZAVERUCHA, G. . FORTE_MBC: Revising First-order Theories using Bottom Clause and Modes. 2008.
3. PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . ASSERT: A Stochastic Search Engine for Revising Theories. 2007.
4. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . DAHVI: Discriminative Approach for Hidden Variables Introduction. 2007.
5. REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE_PI: Revising Probabilistic First-order Theories using Predicate Invention. 2006.
6. PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Probabilistic First-order Revision of Theories from Examples. 2005.

Bancas
Participação em bancas examinadoras
Trabalhos de Conclusão de Curso de graduação
1. SANTOS, A. Dolejsi; SOUSA, L. S.; PAES, A.. Participação em banca de Fabrício Xavier Alves. Cálculo da Direção e Distância entre Dois Pontos Quaisquer da Superfície Terrestre e Declinação Magnética a partir de suas Coordenadas Geográficas. 2007. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense.
2. SOUSA, L. S.; SANTOS, A. Dolejsi; PAES, A.. Participação em banca de Raphael Rodrigues dos Reis. Instalação de Software Livre Educacional: Uma Experiência na Perifieria de Nova Iguaçu. 2007. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense.
3. FERREIRA, T. O.; PAES, A.; FRANCA, F. M. G.. Participação em banca de Douglas Bandoli Vasconcellos e Jorge Alexandre A de Souza. Metaheurísticas para Problemas em Otimização Combinatória. 2007. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Sistemas de Computação) - Universidade Federal Fluminense.

Eventos
Participação em eventos
1. 19th International Conference on Inductive Logic Programming.Chess Revision: Acquiring the Rules of Chess through Theory Revision from Examples. 2009. (Congresso).
2. 21st International Joint Conference on Artificial Intelligence. 2009. (Congresso).
3. Workshop on General Game Playing/IJCAI-2009.Chess Revision: Acquiring the Rules of Chess through Theory Revision from Examples. 2009. (Outra).
4. 18th Annual International Conference on Inductive Logic Programming. 2008. (Congresso).
5. 17th Annual International Conference on Inductive Logic Programming.Revising First-Order Logic Theories from Examples through Stochastic Local Search. 2007. (Congresso).
6. 24th Annual International Conference on Machine Learning. 2007. (Congresso).
7. VI Encontro Nacional de Inteligência Artificial (ENIA 2007).Revisando Teorias Lógicas de Primeira-ordem a partir de Exemplos usando Busca Local Estocástica. 2007. (Encontro).
8. 16th International Conference on Inductive Logic Programming (ILP 2006).Combining predicate invention and revision of probatilistic FOL theories. 2006. (Congresso).
9. 2nd International Joint Conference (10th Ibero-American Conference on AI, 18th Brazilian AI Symposium).PFORTE: Revising Probabilistic FOL Theories. 2006. (Congresso).
10. XXV Congresso da Sociedade Brasileria de Computação. 2005. (Congresso).
11. VII Congresso Brasileiro de Redes Neurais (CBRN 2005).Comparação de Funções de Avaliação em Revisão de Teorias Probabilísticas de Primeira-ordem. 2005. (Congresso).
12. V Encontro Nacional de Inteligência Artificial (ENIA 2005).Revisão de Teorias Probabilísticas de Primeira-Ordem. 2005. (Encontro).
13. XXIII Congresso da Sociedade Brasileira e Computação. 2003. (Congresso).
14. IV Encontro Nacional de Inteligência Artificial (ENIA 2003). 2003. (Encontro).
Organização de eventos
1. PAES, A. . Membro do Program Committee do 22nd International Conference on Inductive Logic Programming. 2012. (Congresso).
2. PAES, A. . Revisora do 21th International Conference on Inductive Logic Programming (ILP 2011). 2011. (Congresso).
3. PAES, A. ; ZAVERUCHA, G. . Revisora do European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD). 2011. (Congresso).
4. PAES, A. ; ZAVERUCHA, G. . Revisora do 20th International Conference on Inductive Logic Programming. 2010. (Congresso).
5. ZAVERUCHA, G. ; PAES, A. . Revisora do 27th International Conference on Machine Learning (ICML 2010). 2010. (Congresso).
6. ZAVERUCHA, G. ; PAES, A. . Revisora do European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2010). 2010. (Congresso).
7. ZAVERUCHA, G. ; PAES, A. . Revisora do IEEE 10th International Conference on Data Mining (ICDM). 2010. (Congresso).
8. ZAVERUCHA, G. ; PAES, A. . Revisora do 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. 2009. (Congresso).
9. PAES, A. ; ZAVERUCHA, G. . Revisora do SIAM International Conference on Data Mining. 2009. (Congresso).
10. PAES, A. ; ZAVERUCHA, G. . Revisora do VII Encontro Nacional de Inteligencia Artificial (ENIA). 2009. (Congresso).
11. PAES, A. ; ZAVERUCHA, G. . Revisora do 19th International Conference on Inductive Logic Programming. 2009. (Congresso).
12. PAES, A. ; ZAVERUCHA, G. . Revisora do 20th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD). 2009. (Congresso).
13. PAES, A. . Revisora do 12th International Conference on Discovery Science. 2009. (Congresso).
14. PAES, A. ; ZAVERUCHA, G. . Revisora do International Conference on Data Mining. 2009. (Congresso).
15. PAES, A. . Revisora do 25th International Conference on Machine Learning (ICML 2008). 2008. (Congresso).
16. PAES, A. . Revisora do 19th European Conference on Machine Learning (ECML 2008) and the 12th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2008). 2008. (Congresso).
17. ZAVERUCHA, G. ; PAES, A. . Revisora do 18th International Conference on Inductive Logic Programming (ILP 2008). 2008. (Congresso).
18. PAES, A. . Revisora do 24th International Conference on Machine Learning (ICML 2007). 2007. (Congresso).
19. PAES, A. . Revisora do 18th European Conference on Machine Learning (ECML 2007) and the 11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007). 2007. (Congresso).
20. PAES, A. . Revisora do 17th International Conference on Inductive Logic Programming (ILP 2007). 2007. (Congresso).
21. PAES, A. . Revisora do VI Encontro Nacional de Inteligencia Artificial (ENIA 2007). 2007. (Congresso).
22. PAES, A. . Revisora do 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2007). 2007. (Congresso).
23. PAES, A. . Revisora do IEEE VII International Conference on Data Mining (ICDM 2007). 2007. (Congresso).
24. PAES, A. . Revisora do 16th International Conference on Inductive Logic Programming (ILP 2006). 2006. (Congresso).
25. PAES, A. . Revisora do 6th IEEE International Conference on Data Mining (ICDM 2006). 2006. (Congresso).
26. PAES, A. . Revisora do 16th European Conference on Machine Learning (ECML 2005). 2005. (Congresso).
27. PAES, A. . Revisora do V Encontro Nacional de Inteligencia Artificial (ENIA 2005). 2005. (Congresso).

Orientações
Supervisões e orientações concluídas
Trabalho de conclusão de curso de graduação
1. Gustavo Fonseca Valle. Uma implementação em General Game Playing. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da computação) - Centro Universitário Plínio Leite. Orientador: Aline Marins Paes.
2. Paulo Vitor da Conceição Silva. Sistema de Apoio a Setor de Compras Logísticas. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da computação) - Centro Universitário Plínio Leite. Orientador: Aline Marins Paes.
3. Eric Couto Luz e Silva. Restrições de Integridade e Invenção de Predicados em Revisão de Teorias de Primeira-ordem a partir de Exemplos. 2010. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro. Orientador: Aline Marins Paes.
4. Thalles Carreiro Rodrigues. Sistema Protótipo para Auxílio do Diagnóstico de Hanseníase Usando Redes Bayesianas. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da computação) - Centro Universitário Plínio Leite. Orientador: Aline Marins Paes.
5. Alexandre Mendes de Lima. Sistema para Controle de Emissão de Poluentes. 2007. Trabalho de Conclusão de Curso. (Graduação em Tecnologia em Sistemas de Computação) - Centro de Educação a Distância do Estado de Rio de Janeiro. Orientador: Aline Marins Paes.
6. Leonardo de Carvalho Veloso e Olga Maria de Almeida Gomes. Introduzindo Caminhadas Aleatórias no Aprendizado de Regras para Mineração de Dados. 2007. Trabalho de Conclusão de Curso. (Graduação em Tecnologia em Sistemas de Computação) - Centro de Educação a Distância do Estado de Rio de Janeiro. Orientador: Aline Marins Paes.
Iniciação Científica
1. Eric Couto Luz e Silva. Integrando Programação em Lógica Abdutiva à Revisão de Teorias de Primeira-ordem a partir de Exemplos. 2009. Iniciação Científica. (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Aline Marins Paes.
2. Thiago Braga de Almeida Antonio. Utilização de Testes Estatísticos para Avaliação de Resultados de Programação em Lógica Indutiva (co-orientador). 2008. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Aline Marins Paes.
3. Rafael José Gonçalves Pereira. Busca Direcionada a Modos na Adição de Antecedents por Descoberta de Caminhos em Revisão de Teorias a partir de Exemplos (Co-orientador). 2008. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Aline Marins Paes.
4. Eric Couto Luz e Silva. Busca Direcionada a Modos na Adição de Antecedentes por Subida de Encosta em Revisão de Teorias de Primeira-ordem a partir de Exemplos (co-orientador). 2008. Iniciação Científica. (Graduando em Engenharia de Computação e Informação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Aline Marins Paes.
5. Guilherme da Silva Niedu. Determinações em Revisão de Teorias de Primeira-ordem a partir de Exemplos. 2007. Iniciação Científica. (Graduando em Engenharia de Controle e Automação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Aline Marins Paes.

Outras informações relevantes 
1) APROVAÇÃO EM SEGUNDO LUGAR - PROCESSO SELETIVO PROFESSOR SUBSTITUTO. Universidade: UFRJ. Departamento de Ensino: Engenharia de Sistemas e Computação. Aréa de Conhecimento: Algoritmos e Estruturas de Dados

2) APROVAÇÃO EM PRIMEIRO LUGAR - PROCESSO SELETIVO PROFESSOR SUBSTITUTO. Universidade: UFRJ. Departamento de Ensino: Ciência da Computação. Aréa de Conhecimento: Programação em Python.
Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 4:55:00