Currículo do Sistema de Currículos Lattes (Kate Cerqueira Revoredo)

Dados pessoais

Nome	Kate Cerqueira Revoredo
Nome em citações bibliográficas	REVOREDO, K.
Sexo	Feminino

Endereço profissional

Universidade Federal do Estado do Rio de Janeiro.
Av. Pasteur, 458
Urca
22290-240 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 25306282
URL da Homepage: www.uniriotec.br/~katerevoredo

Formação acadêmica/Titulação

2009 - 2009

Pós-Doutorado .
Universidade de São Paulo, USP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo ,FAPESP ,Brasil .

2002 - 2009

Doutorado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
com período sanduíche em Universität Freiburg(Orientador:Luc de Raedt ).
Título: Revisão de Torias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados, Ano de Obtenção: 2009.
Orientador:

Gerson Zaverucha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Revisão de teorias; Teorias probabilísticas de primeira-ordem; predicado probabilítico inventado; ILP; Redes Bayesianas; variável não-observada.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.

1999 - 2002

Mestrado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Refinamento de Teoria para Programas m Lógica Bayesiano, Ano de Obtenção: 2002.
Orientador:

Gerson Zaverucha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .

1996 - 1999

Graduação em Bacharelado em Matemática .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

Atuação profissional

Universidade Federal de Juiz de Fora, UFJF, Brasil.

Vínculo institucional

2011 - 2014

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador

Atividades

2011 - 2014	Atividades de Participação em Projeto, Instituto de Ciências Exatas, .
	Projetos de pesquisa Infraestrutura de apoio a Gerência de experimentos científicos em Modelagem Computacional

Universidade Federal Fluminense, UFF, Brasil.

Vínculo institucional

2010 - 2011

Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora

Atividades

2010 - 2011	Atividades de Participação em Projeto, Ciências da Computação, .
	Projetos de pesquisa ADDSGA - Sistema de Gerenciamento de Alarmes

2006 - 2009	Atividades de Participação em Projeto, Ciências da Computação, .
	Projetos de pesquisa DMRisco

Universidade Federal do Estado do Rio de Janeiro, UNIRIO, Brasil.

Vínculo institucional

2009 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40

Vínculo institucional

2006 - 2008

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

2011 - Atual	Atividades de Participação em Projeto, NP2Tec, .
	Projetos de pesquisa Redes Sociais de Pesquisa em Sistemas de Informação

2010 - Atual	Atividades de Participação em Projeto, NP2Tec, .
	Projetos de pesquisa Aprendizado de Lógicas de Descrição Probabilísticas

2009 - Atual	Atividades de Participação em Projeto, Reitoria, Centro de Ciências Exatas e Tecnologia.
	Projetos de pesquisa Aprendizado de Lógicas de Descrição Probabilísticas

08/2006 - 08/2008	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Estruturas Discretas Introdução a Lógica Computacional

2008 - 2008	Atividades de Participação em Projeto, Reitoria, Centro de Ciências Exatas e Tecnologia.
	Projetos de pesquisa Metodologias para iniciativas de implantação de arquitetura orientada a serviços

Universidade de São Paulo, USP, Brasil.

Vínculo institucional

2009 - 2009

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista

Atividades

2009 - Atual	Atividades de Participação em Projeto, Instituto de Matemática e Estatística, .
	Projetos de pesquisa LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais

2009 - 2009	Atividades de Participação em Projeto, Escola Politécnica, Departamento de Mecatrônica e Sistemas Mecânicos.
	Projetos de pesquisa Aprendizado de Lógicas de Descrição Probabilísticas

Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

Vínculo institucional

2002 - 2009

Vínculo: Doutoranda, Enquadramento Funcional: Aluna de doutorado, Carga horária: 40

Vínculo institucional

1999 - 2002

Vínculo: Mestranda, Enquadramento Funcional: Aluna de mestrado, Carga horária: 40

Atividades

2007 - 2009	Atividades de Participação em Projeto, Coordenação dos Programas de Pos-graduação em Engenharia, .
	Projetos de pesquisa PFORTE: Revisão de Teorias Probabilísticas Relacionais a partir de Exemplos

2006 - 2009	Atividades de Participação em Projeto, Coordenação dos Programas de Pos-graduação em Engenharia, .
	Projetos de pesquisa Algoritmos: engenharia e fundamentos

2003 - 2005	Atividades de Participação em Projeto, Coordenação dos Programas de Pos-graduação em Engenharia, .
	Projetos de pesquisa Desenvolvimento e Aplicações de Redes Bayesianas em Séries Temporais

Laboratório de Documentação Ativa e Design Inteligente, ADDLABS, Brasil.

Vínculo institucional

2010 - 2010

Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora

Vínculo institucional

2009 - 2009

Vínculo: Celetista formal, Enquadramento Funcional: Pesquisadora, Carga horária: 30

Universidade Estácio de Sá, UNESA, Brasil.

Vínculo institucional

2003 - 2009

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

Atividades

03/2003 - 07/2009	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Empreendedorismo em Informática Estruturas Discretas Inteligência Artificial Matemática Prolog

ABEU Centro Universitário, UNIABEU, Brasil.

Vínculo institucional

2003 - 2008

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

Atividades

08/2006 - 01/2008	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Inteligência Artificial Informática e Sociedade

08/2003 - 01/2006	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Matemática Informática e Sociedade Programação Estruturas de Dados Inteligência Artificial

Nucleo de Pesquisa e Prática da UNIRIO, NP2TEC, Brasil.

Vínculo institucional

2006 - 2007

Vínculo: Analista de Sistemas, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Atividades

08/2008 - 12/2008	Outras atividades técnico-científicas , NP2Tec, .
	Atividade realizada Projeto de pequisa em arquitetura orientada a serviços (Petrobras).

06/2008 - 07/2008	Outras atividades técnico-científicas , NP2Tec, .
	Atividade realizada Projeto de modelagem de processos (CENPES).

11/2006 - 06/2007	Outras atividades técnico-científicas , NP2Tec, .
	Atividade realizada Projeto de desenvolvimento de aplicação para pesquisa de informações em bases de dados de pesquisa - ExPlora no Centro de Pesquisa da Petrobras (CENPES).

Fundação Coordenação de Projetos, Pesquisas e Estudos Tecnológicos, COPPETEC, Brasil.

Vínculo institucional

2002 - 2004

Vínculo: bolsista, Enquadramento Funcional: Analista de sistema, Carga horária: 20

Atividades

01/2003 - 03/2004	Outras atividades técnico-científicas , COPPETEC, .
	Atividade realizada Manutenção e Evolução do SINGRA desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de SIstemas.

12/2002 - 01/2003	Outras atividades técnico-científicas , COPPETEC, .
	Atividade realizada Adaptação do Módulo de Obtenção do Singra para o uso no SOFIN desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de Sistemas.

02/2002 - 12/2002	Outras atividades técnico-científicas , COPPETEC, .
	Atividade realizada Serviço de Manutenção Preventiva, Corretiva e Evolutiva do SINGRA desenvolvido para a Diretoria de Abastecimento da Marinha do Brasil como Analista de Sistema.

07/2002 - 08/2002	Outras atividades técnico-científicas , COPPETEC, .
	Atividade realizada Integração da Rede e Serviços de Telefonia desenvolvido para Empresa Brasileira de Telecomunicaçoes S.A.-EMBRATEL como Analista de Sistemas.

SFR- Software e Analise de Sistemas Ltda., SFR, Brasil.

Vínculo institucional

2001 - 2002

Vínculo: Anlista de Sistemas, Enquadramento Funcional: Analista de Sistemas Junior, Carga horária: 40

Atividades

08/2001 - 02/2002	Outras atividades técnico-científicas , SFR- Software e Analise de Sistemas Ltda., .
	Atividade realizada Desenvolvimento de sistemas para calculo de contribuições e benefícios para planos de previdência particulares..

Zap Quote, ZAP, Brasil.

Vínculo institucional

2000 - 2001

Vínculo: Anlista de sistema programador, Enquadramento Funcional: Analista de sistema programador, Carga horária: 30

Atividades

05/2000 - 07/2001	Outras atividades técnico-científicas , Zap Quote, .
	Atividade realizada Desenvolvimento em JAVA de Sistema voltado para o mercado financeiro, com informações em tempo real..

03/2000 - 05/2000	Outras atividades técnico-científicas , Zap Quote, .
	Atividade realizada Desenvolvimento de um portal de internet em parceria com a VCSY, Ltd., California, USA, sendo o desenvolvimento realizado nos USA.Califórnia, USA..

Interbrain Tecnologia de Sistemas, INTERBRAIN, Brasil.

Vínculo institucional

1997 - 2000

Vínculo: Estagiária, Enquadramento Funcional: Programadora /analista de sistemas, Carga horária: 30

Atividades

05/1997 - 03/2000	Estágios , Interbrain Tecnologia de Sistemas, .
	Estágio realizado Participação em projetos de desenvolvimento de sistemas como programadora e analista de sistemas, incluindo sistemas para o banco Guanabara do Grupo Guanabara Diesel.

Projetos de Pesquisa

2011 - Atual

Redes Sociais de Pesquisa em Sistemas de Informação

Descrição: Compreende o desenvolvimento de soluções voltadas à caracterização da pesquisa em Sistemas de Informação no Brasil, a análise de sua configuração e potencialidades, bem como sua divulgação e conseqüente difusão à Sociedade. A base desta proposta está nas possibilidades de mineração, visualização e análise de estruturas de redes sociais de pesquisadores, instituições, grupos e temáticas de pesquisa em SI. As redes estudadas, bem como as análises obtidas podem servir de fonte de informação para a estruturação de um portal de pesquisa em SI para divulgação e navegação pela Sociedade dos grupos, instituições, temáticas de pesquisa, produção e resultados, fomentando e incentivando o interesse geral pela área...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) .
Integrantes: Renata Mendes de Araujo - Coordenador / Vania Maria Felix Dias - Integrante / Carlos Alberto Vieira de Campos - Integrante / Kate Cerqueira Revoredo - Integrante.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro..

2011 - Atual

Infraestrutura de apoio a Gerência de experimentos científicos em Modelagem Computacional

Descrição: O objetivo dessa pesquisa é identificar os desafios (problemas) e possíveis soluções relacionados ao desafio Modelagem computacional de sistemas complexos , considerando a aplicação de serviços Web semânticos, agentes, ontologias, linguagens para composição de serviços e técnicas para gerência de proveniência de dados científicos, como tecnologias que juntas permitam o desenvolvimento de uma infraestrutura para e-Science onde aplicações científicas relacionadas a domínios científicos possam ser descobertas, compostas em um workflow , e este workflow possa ser modificado e reutilizado. Parceria UNIRIO.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 2) .
Integrantes: Leonardo Azevedo - Integrante / JAIRO SOUZA - Integrante / Fernanda Campos - Integrante / Regina Maria Maciel Braga - Coordenador / Kate Cerqueira Revoredo - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2010 - 2010

ADDSGA - Sistema de Gerenciamento de Alarmes

Descrição: O projeto tem como objetivo o desenvolvimento de um sistema de gerenciamento de alarmes para auxiliar o operador no processo decisório quando ocorre um grande número de alarmes necessitando de curto intervalo de resposta. Para tanto serão utilizadas diferentes técnicas de Inteligência Artificial, tais como Mineração de Dados, Clusterização e Sistemas de Apoio à Decisão...
Situação: Concluído; Natureza: Pesquisa.
Integrantes: ana cristina bicharra garcia - Coordenador / Adriana Vivacqua - Integrante / Daniela Trevisan - Integrante / Kate Cerqueira Revoredo - Integrante.
.

2010 - Atual

Aprendizado de Lógicas de Descrição Probabilísticas

Descrição: Lógicas de descrição têm recebido intensa atenção na literatura por oferecerem um excelente balanço entre expressividade e complexidade, com aplicação na representação de conhecimento médico e lingüístico, bem como na codificação de informações na rede semântica. Em geral, elas combinam conceitos, papéis e indivíduos, usando operadores booleanos e quantificadores restritos. Entretanto, não representam incertezas que são comumente encontradas em aplicações. Por isso, um significativo número de propostas pode ser encontrado na literatura, onde lógicas de descrição são combinadas com raciocínio sob incerteza. O objetivo deste projeto de pesquisa é especificar lógicas de descrição probabilísticas com bom equilíbrio entre expressividade e complexidade e então propor algoritmos de inferência e aprendizado automático para elas..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Kate Cerqueira Revoredo - Coordenador.
Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro..

2009 - 2010	Aprendizado de Lógicas de Descrição Probabilísticas
	Descrição: Tem por objetivo o desenvolvimento de algoritmos de inferência e aprendizado de lógicas de descrição probabilísticas. Situação: Concluído; Natureza: Pesquisa. Integrantes: Kate Cerqueira Revoredo - Coordenador. .

2009 - 2009

Aprendizado de Lógicas de Descrição Probabilísticas

Descrição: Tem sido grande o interesse em combinar lógicas de descrição com incertezas, definindo lógicas de descrição probabilísticas. O objetivo deste trabalho será o de estudar formas automáticas de aprender sentenças nessas lógicas a partir de bases de dados..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Kate Cerqueira Revoredo - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa..

2009 - Atual

LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais

Descrição: Projeto Temático Fapesp de pesquisa em Logica e Probabilidade, sob o processo 2008/03995-5, aprovado com início em 02/2009. Coordenador: Marcelo Finger. No valor de R$324324.80 mais bolsas.. .
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Fabio G. cozman - Integrante / Renata Wassermann - Integrante / Paulo Eduardo Santos - Integrante / Anna Helena Reali Costa - Integrante / Jerônimo Cordoni Pellegrini - Integrante / Marcelo Finger - Coordenador / Kate Cerqueira Revoredo - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2008 - 2008

Metodologias para iniciativas de implantação de arquitetura orientada a serviços

Descrição: Definição de uma metodologia para identificação de serviços de negócio através da modelagem dos processos da Petrobras. Prospecção de formas de utilização de ferramentas de modelagem, desenvolvimento e produção condizentes com a metodologia proposta..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 3) .
Integrantes: Kate Cerqueira Revoredo - Coordenador.
.

2007 - 2009	PFORTE: Revisão de Teorias Probabilísticas Relacionais a partir de Exemplos
	Descrição: rojeto 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. Integrantes: Gerson Zaverucha - Coordenador / Kate Cerqueira Revoredo - Integrante. .

2006 - 2009

Algoritmos: engenharia e fundamentos

Descrição: Este projeto pretende abarcar um amplo espectro indo desde fundamentos até aplicações de caráter altamente tecnológico, com formação de pessoal capacitado. Um dos itens considerados por este projeto é o desenvolvimento de algoritmos de revisão de teoria..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Paulo Augusto Silva Veloso - Coordenador / Kate Cerqueira Revoredo - Integrante.
.

2006 - 2009

DMRisco

Descrição: Ferramenta de mineração de dados para extração de indicadores de situações críticas em plataformas off-shore. Com o objetivo de tratar acidentes, uma exigência hoje para permitir a operação em uma plataforma de petróleo é se registrar e descrever a ocorrência; relacionar as pessoas envolvidas; analisar as causas, as falhas e as consequências para a unidade e a tripulação; e indicar ações corretivas e preventivas ao ocorrido. A vantagem principal dos registros de tratamento de anomalias, os RTA, é sistematizar o tratamento de acidentes e possibilitar o acesso rápido a informações sobre uma determinada ocorrência, não só a descrição do que aconteceu, mas observações sobre a eficácia das medidas corretivas e preventivas tomadas. Cabe ressaltar que esses registros são escritos no momento em que a ocorrência acontece e por profissionais diretamente envolvidos. Apesar de servir perfeitamente ao intuito de registrar e tratar uma anomalia, a informação não está estruturada no registro de tratamento de anomalia. Não há um banco de dados com atributos claros e bem definidos de onde se possa extrair com facilidade e com maior riqueza de detalhes os elementos compõem o histórico do acidente e sua análise. Como os registros não estão estruturados num banco de dados, não há um meio automático de se extrair conhecimento e informação útil para um gerente que queira fazer inferências sobre as ocorrências visando um trabalho preventivo. Ao contrário, os registros estão armazenados numa extensa base de textos, com as informações disponíveis em campos livres e pouco específicos. Para fazer análises estatísticas, procurando relações de causa e efeito dos acidentes e buscando correlações entre as ocorrências em diferentes unidades operacionais, a companhia precisa contar com especialistas que leiam cuidadosamente os registros um a um e tentem consolidar as informações existentes nos RTAs. Se o número de registros fosse pequeno, um especialista humano poderia dar conta do serviço. . .
Situação: Concluído; Natureza: Pesquisa.
Integrantes: ana cristina bicharra garcia - Coordenador / Adriana Vivacqua - Integrante / Kate Cerqueira Revoredo - Integrante.
.

2003 - 2005	Desenvolvimento e Aplicações de Redes Bayesianas em Séries Temporais
	Descrição: CNPq 477413/2003-0 , Edital Universal Desenvolvimento e Aplicações de Redes Bayesianas em Séries Temporais (TBayes) Coordenador. Valor 19965,00 reais por 2 anos.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Gerson Zaverucha - Coordenador / Kate Cerqueira Revoredo - Integrante. .

Revisor de periódico

2010 - Atual

Periódico: iSys: Revista Brasileira de Sistemas de Informação

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Inteligência Artificial.
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: Sistemas de Informação.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão	Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Prêmios e títulos

2010	Selecionada entre as 6 melhores teses em ciências da computação, SBC.
2010	2º Colocada no Concurso de Teses e Dissertações em Inteligência Artificial, SBC.
2009	Selecionada entre os 4 melhores artigos do VII Encontro Nacional de Inteligencia (ENIA 2009): Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas, SBC., SBC.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	L.De Raedt ; KERSTING, K. ; KIMMING, A. ; REVOREDO, K. ; H. Toivonen . Compressing Probabilistic Prolog Programs. Journal of Machine Learning Research, v. 70, p. 151-168, 2008.

Capítulos de livros publicados

1.	Garcia, A.C.B. ; Vivacqua, A. ; REVOREDO, K. ; BERNARDINI, F. . Inteligência artificial para sistemas colaborativos. In: Pimentel, M.; Fuks, H. (Org.). Sistemas Colaborativos. Rio de Janeiro: Elsevier-Campus - SBC, 2011, v. 1, p. 245-.

Trabalhos completos publicados em anais de congressos

1.	LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . ORION - Um Framework para Refinamento de Ontologias Através de Técnicas de Revisão de Teorias. In: Encontro Nacional de Inteligência Artificial, 2011, Natal. Encontro Nacional de Inteligência Artificial, 2011.

2.	OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Learning Probabilistic Description Logics: A Framework and Algorithms. In: MICAI, 2011, Puebla. Proceeding of the 10th Mexican International Conference on Artificial Intelligence, 2011.

3.	REVOREDO, K. ; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Semantic Link Predictioin through Probabilistic Description Logic. In: International Workshop on Uncertainty Reasoning for the Semantic Web, 2011, Bonn. 7th International Workshop on Uncertainty Reasoning for the Semantic Web, 2011.

4.	SANTOS, F. E. G ; BASTOS, A. P. Z. ; Andrade, L.C.V. ; REVOREDO, K. ; Mattos, P. . Assessment of ADHD through a Computer Game: An Experiment with a Sample of Students. In: VS-GAMES, 2011, Athens. Third International Conference on Games and Virtual Worlds for Serious Applications, 2011.

5.	SANTOS, F. E. G ; BASTOS, A. P. Z. ; Andrade, L.C.V. ; REVOREDO, K. ; Mattos, P. . Assessment of ADHD in a Sample of Adults through a Computer Game and Data Mining Techniques. In: IADIS Applied Computing, 2011, Rio de Janeiro. : IADIS Applied Computing, 2011.

6.

Silva, A.A. ; Padilha, N.F. ; Siqueira, S.W.M. ; REVOREDO, K. ; BAIÃO,F. . Avaliação da aprendizagem apoiada na utilização de mapas conceituais e alinhamento de ontologias. In: 4º Workshop Brasileiro de Web Semântica e Educação (SWEd 11@SBIE-WIE 11), 2011, Aracaju. Anais do 22º Simpósio Brasileiro de Informática na Educação, 2011.

7.	REVOREDO, K. ; OCHOA-LUNA, J. E. ; COZMAN, F. G. . Learning Terminologies in Probabilistic Description Logics. In: International Joint Conference IBERAMIA / SBIA, 2010, São Bernardo do Campo. Lecture Notes on Artificial Intelligence, 2010.

8.	LEAO, F. ; REVOREDO, K. ; BAIÃO,F. . Ontology Refinement through Theory Revision Techniques. In: III Workshop on Computational Intelligence, 2010, São Bernardo do Campo. III Workshop on Computational Intelligence, 2010. v. 1. p. 1-1.

9.

OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Semantic query extension using query contexts and probabilistic description logics. In: III International Workshop on Web and Text Intelligence, 2010, São Bernardo do Campo. III International Workshop on Web and Text Intelligence, 2010. v. 1. p. 1-1.

10.

OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Semantic Query Extension through Probabilistic Description Logics. In: VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010, Shabghai. VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010. v. 1. p. 1-1.

11.

OCHOA-LUNA, J. E. ; REVOREDO, K. ; COZMAN, F. G. . Learning Sentences and Assessments in Probabilistic Description Logics. In: VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010, Shanghai. VI International Workshop on Uncertainty Reasoning for the Semantic Web, 2010. v. 1. p. 1-1.

12.	AZEVEDO L. ; BAIÃO,F. ; SOUZA, J. ; REVOREDO, K. ; PEREIRA,V. ; HERLAIN,I. . Identificação de Serviços a partir da Modelagem de Processos de Negócio. In: Simpósio Brasileiro em Sistemas de Informação, 2009, Brasilia. V Simpósio Brasileiro de Sistemas de Informação, 2009.

13.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Revisando Redes Bayesianas através da Introdução de Variáveis não-observadas. In: Encontro Nacional de Inteligêsncia Artificial, 2009, Bento Gonçalves. XXIX Congresso Brasileiro de Computação (SBC 2009), 2009.

14.

AZEVEDO L. ; SANTORO,F. ; BAIÃO,F. ; SOUZA, J. ; REVOREDO, K. ; PEREIRA,V. ; HERLAIN,I. . A Method for Service Identification from Business Process Models in a SOA Approach. In: Enterprise, Business-Process and Information Systems Modeling, 2009, Berlin Heidelberg. Lecture Notes in Business Information Processing, 2009. v. 29. p. 99-112.

15.

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. XXVII Congresso da Sociedade Brasileira de Computação / VI Encontro Nacional de Inteligência Artificial, 2007. p. 1351-1360.

16.	PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Revising Probabilistic FOL Theories. In: International Joint Conference IBERAMIA / SBIA, 2006, Ribeirão Preto. Lecture Notes on Artificial Intelligence. Heidelberg : Springer-Verlag. v. 4140. p. 441-450.

17.	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: Congresso Brasileiro de Redes Neurais, 2005, Natal. Congresso Brasileiro em Redes Neurais, 2005. p. 63-68.

18.	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. Lectures Notes in Artificial Intelligence, 2005. v. 3625. p. 295-311.

19.	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, 2005, São Leopoldo. V Encontro Nacional de Inteligência Artificial (ENIA-2005)/SBC, 2005. p. 932-941.

20.	REVOREDO, K. ; ZAVERUCHA, G. . Search-based Class Fiscretization for Hidden Markov Model for Regression. In: XVII Brazilian Symposium on Artificial Intelligence, 2004, São Luís. Lecture Notes in Artificial Intelligence, 2004. v. 3171. p. 317-325.

21.	Marcelo Andrade Teixeira ; REVOREDO, K. ; ZAVERUCHA, G. . Hidden Markov Model for Regression in Eletric Load Forecasting. In: 10th International Conference on Neural Information Processing, 2003, Istanbul. ICANN/ICONIP-2003, 2003. v. 1. p. 374-377.

22.	REVOREDO, K. ; ZAVERUCHA, G. . Revision of First-order Bayesian Classifiers. In: 12th International Conference on Inductive Logic Programming, 2002, Sydney. Lecture Notes in Artificial Intelligence, 2002. v. 2583. p. 223-237.

23.	REVOREDO, K. ; ZAVERUCHA, G. . Theory Refinement of Bayesian Logic Program. In: 8th International Conference on Neural Information Processing (ICONIP 2001), 2001, Shanghai. 8th International Conference on Neural Information Processing (ICONIP 2001), 2001. v. 2. p. 1088-1092.

24.	REVOREDO, K. ; ZAVERUCHA, G. . Theory Refinement of Bayesian Logic Programs. In: 11th International Conference on Inductive Logic Programming (ILP-2001), 2001, Strasbourg. Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming (ILP 2001), 2001. p. 89-93.

Resumos expandidos publicados em anais de congressos

1.	Affonso, M.A. ; REVOREDO, K. ; Andrade, L.C.V. . PREDICTION OF ECONOMIC VALUE OF A PETROLEUM EXPLORATORY OPPORTUNITY USING BAYESIAN NETWORK. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011.

2.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combining Predicate Invention and Revision of Probabilistic FOL Theories. In: ILP, 2006, Santiago de Compostela. XVI International Conference on Inductive Logic Programming, 2006. p. 176-178.

3.

L.De Raedt ; KERSTING, K. ; KIMMING, A. ; REVOREDO, K. ; H. Toivonen . Revising Probabilistic Prolog Programs. In: 16th International Conference in Inductive Logic Programming, 2006, Santiago. Short Paper Preceedings of the 16th International Conference on Inductive Logic Programming (ILP-06)., 2006.

Resumos publicados em anais de congressos

1.

PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Further Experimental Results of Probabilistic First-order Theory. In: The Eleventh ACM SIGDKK International COnference on Knowledge Discovery and Data Mining, 2005, Chicago. The Eleventh ACM SIGDKK International COnference on Knowledge Discovery and Data Mining, 2005. p. 59-59.

Apresentações de Trabalho

1.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Combinando Invenção de Predicados e Revisão de Teorias Probabilisticas de Primeira-ordem.. 2007. (Apresentação de Trabalho/Congresso).

2.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . Predicate invention as a revision operator for probabilistic FOL theories.. 2006. (Apresentação de Trabalho/Simpósio).

3.	PAES, A. ; REVOREDO, K. ; ZAVERUCHA, G. ; COSTA, V. S. . Probabilistic First-order Revision from Examples. 2005. (Apresentação de Trabalho/Congresso).

4.	REVOREDO, K. ; ZAVERUCHA, G. . Search-based Class Discretization for Hidden Markov Model for Regression.. 2004. (Apresentação de Trabalho/Congresso).

Produção técnica

Softwares sem registro de patente

1.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . DAHVI: Discriminative Approach for Hidden Variable Introduction. 2008.

2.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE_PI: Probabilistic First-order Revision of Theories from Examples with Predicate Invention.. 2008.

3.	REVOREDO, K. ; PAES, A. ; ZAVERUCHA, G. ; COSTA, V. S. . PFORTE: Probabilistic First-order Revision of Theories from Examples.. 2005.

Bancas

Participação em bancas examinadoras

Dissertações

1.	REVOREDO, K.; Ralha C.G.; Ladeira M.. Participação em banca de Shou Matsumoto. Um Framework Baseado em Plug-ins para Raciocínio em Ontologias PR-OWL 2.. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

2.	REVOREDO, K.; SANTORO,F.; BAIÃO,F.. Participação em banca de Eduardo Costa Ramos. BPECREL: Um Método de Identificação de Variáveis Relevantes do Contexto Externo Associadas ao Processo de Negócio. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

Teses de doutorado

1.

COZMAN, F. G.; Maruyama, N.; Silva, J.R.; Wassermann, R.; REVOREDO, K.. Participação em banca de José Eduardo Ochoa Luna. Lógicas Probabilísticas com Relações de Independência: Representação de COnhecimento e Aprendizado de Máquina. 2011. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Trabalhos de Conclusão de Curso de graduação

1.	RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Átila Meseque, Luciana Souza, Marcéu Miranda. Sistema de Gerenciamento de Tarefas. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

2.	RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Carlos Augusto Silva, Roberta Tenório, Romoaldo Santos. A importância do VOIP na sucessão da telefonia fixa. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

3.	RODRIGUES, S. A.; MATTOS, L. R. A.; REVOREDO, K.. Participação em banca de Anderson Fontes, Carlos Filipe, Letícia Ramos. Resolução de Problemas por Métodos de Busca em Inteligência Artificial. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

4.	SILVA, J. C. P.; REVOREDO, K.; ZAVERUCHA, G.. Participação em banca de Ana Luisa de Cerqueira Leite Duboc. Agentes Inteligentes no Mundo do Wumpus. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Informática) - Universidade Federal do Rio de Janeiro.

5.	REVOREDO, K.; Revoredo, T.; MATTOS, L. R. A.. Participação em banca de Liliane Reis. Determinação da área afetada pelo ruído gerado pela movimentação de aeronaves em aeroportos. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

6.	REVOREDO, K.; Revoredo, T.; MATTOS, L. R. A.. Participação em banca de Giane da SIlva Castilho. Previsão de Carga Elétrica utilizando Rede Neural. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - ABEU Centro Universitário.

Participação em bancas de comissões julgadoras

Concurso público

1.	GREGORIO,R.; MEDEIROS, J.A.C.C.; ZIMBRÃO, G.; REVOREDO, K.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal Rural do Rio de Janeiro.

2.	BERNARDES,M.; CHAIMOWICZ, L.; REVOREDO, K.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal de Juiz de Fora.

3.	BERNARDES,M.; REVOREDO, K.; Ziviani, A.. CONCURSO PUBLICO PARA PROFESSOR ADJUNTO. 2010. Universidade Federal de Juiz de Fora.

Outras participações

1.	REVOREDO, K.. Workshop de Teses e Dissertações em SIstemas de Informação. 2008. Universidade Federal do Estado do Rio de Janeiro.

2.	ANDREATTA, A.; REVOREDO, K.. PROCESSO DE SELEÇÃO DE MONITORES DO DEPARTAMENTO DE INFORMÁTICA APLICADA. 2008. Universidade Federal do Estado do Rio de Janeiro.

3.	ANDREATTA, A.; REVOREDO, K.. PROCESSO DE SELEÇÃO DE MONITORES DO DEPARTAMENTO DE INFORMÁTICA APLICADA. 2007. Universidade Federal do Estado do Rio de Janeiro.

Eventos

Participação em eventos

1.	International Semantic Web Conference.Semantic LInk Prediction through Probabilistic Description Logic. 2011. (Congresso).

2.	Simposio Brasileiro em Sistemas de Informação. 2011. (Simpósio).

3.	Encontro Nacional de Inteligência Artificial. 2011. (Encontro).

4.	International Joint Conference IBERAMIA / SBIA.Learning Terminologies in Probabilistic Description Logics. 2010. (Congresso).

5.	Workshop de Teses e Dissertações em Ciências da Computação.Revisão de Teorias Relacionais Probabilísticas através de Exemplos com Invenção de Predicados. 2010. (Congresso).

6.	II Seminário de Pesquisa em Ontologia no Brasil. 2009. (Seminário).

7.	Encontro Nacional em Inteligência Artificial.Revisando Redes Bayesianas através da Introdução de Variáveis Não-observadas. 2009. (Encontro).

8.	Simposio Brasileiro de Sistemas de Informação. 2008. (Simpósio).

9.	Encontro Nacional de Inteligência Artificial.Combinando Invenção de Predicados e Revisão de Teorias Probabilisticas de Primeira-ordem. 2007. (Congresso).

10.	Black Forest Workshop.Predicate invention as a revision operator for probabilistic FOL theories. 2006. (Simpósio).

11.	International Conference in Inducrive Logic Programming.15th International Conference on Inductive Logic Programming. 2005. (Congresso).

12.	Congresso Brasileiro em Redes Neurais. 2005. (Congresso).

13.	XVII Brazilian Symposium on Artificial Intelligence - SBIA2004.Search-based Class Discretization for Hidden Markov Model for Regression. 2004. (Congresso).

Organização de eventos

1.	REVOREDO, K. ; BARROS, L. N. . Workshop de teses e dissertações em inteligência artificial. 2010. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Marcos Affonso. Predição do Valor Econômico de uma Oportunidade Exploratória de Petróleo através de Mineração de Dados. Início: 2010. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. (Co-orientador).

2.	Talita Mattos. Gestão de Conhecimento e Contexto. Início: 2010. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. (Co-orientador).

Iniciação científica

1.	Tiago de Araujo Neves. Busca Semântica aplicado a composição automática de serviços web. Início: 2011. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.	FELIPE BRAGA CARNEIRO LEÃO. Aprendizado de Lógica de Descrição Probabilística. Início: 2010. Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Fabio Eduardo Gabriel Santos. Avaliação Cognitiva com um Jogo Computacional Utilizando Técnicas Inteligentes. 2011. Dissertação (Mestrado em Programa de Pós Graduação emSistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro, . Co-Orientador: Kate Cerqueira Revoredo.

Trabalho de conclusão de curso de graduação

1.	Brunno Silveira e Thiago Yasuke. Análise do perfil de uma comunidade científica através de mineração de texto. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

2.	Felipe Leão. ORION Um Framework para Revisão de Ontologias Através de Técnicas de Revisão de Teorias. 2011. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

3.	Giane da Silva Castilho. Previsão de Carga Elétrica utilizando Rede Neural. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - ABEU Centro Universitário. Orientador: Kate Cerqueira Revoredo.

4.	Liliane Reis. Determinação da área afetada pelo ruído gerado pela movimentação de aeronaves nos aeroportos. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - ABEU Centro Universitário. Orientador: Kate Cerqueira Revoredo.

Iniciação Científica

1.

Ana Luisa de Cerqueira Leite Duboc. Busca Automática de Discretização de Classes para Hidden Markov Model for Regression. 2004. Iniciação Científica. (Graduando em Bacharelado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kate Cerqueira Revoredo.

Orientações de outra natureza

1.	Diego Felipe S.P. dos Santos. Monitoria da disciplina Introdução a Lógica Computacional. 2008. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

2.	Diego Alexandre Aranha Duarte. Monitoria da disciplina Introdução a Lógica Computacional. 2007. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro. Orientador: Kate Cerqueira Revoredo.

Outras informações relevantes

Revisor de artigos submetidos às seguintes conferências:

SBIA 2012

IBERAMIA 2012

-SBSI 2011, 2012

-ENIA 2011, 2012

WTDSI 2012

- SBSC 2011

-ILP 2002,2004,2007

1) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ADJUNTO I. Universidade: UFRJ Departamento de Ensino:Ciências da Computação. Aréa de Conhecimento: Teoria da Computação.

2) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ADJUNTO I. Universidade: UNIRIO Departamento de Ensino: Informática Aplicada. Aréa de Conhecimento: Algoritmos (ênfase em Lógica).

3) APROVAÇÃO NO CONCURSO PÚBLICO DE PROVAS E TITULOS PARA A CARREIRA DE MAGISTÉRIO SUPERIOR NA CLASSE DE PROFESSOR ASSISTENTE I. Universidade: UFF Departamento de Ensino: Engenharia de Produção. Aréa de Conhecimento: Simulação.

4) APROVAÇÃO PROCESSO SELETIVO PROFESSOR SUBSTITUTO. Universidade: UNIRIO Departamento de Ensino: Informática Aplicada. Aréa de Conhecimento: Algoritmo/Introdução à Lógica Computacional.

5) PARTICIPAÇÃO NA XXVI Jornada de Iniciação CIentifica,Aritistica e Cultural da UFRJ com o trabalho entitulado "Algoritmo de Busca Automática de Discretização de Classes para Hidden Markov Models" Autores: Ana Luisa de Cerqueira Leite Duboc Orientadores: Gerson Zaverucha e Kate Cerqueira Revoredo

6) PARTICIPAÇÃO NA XVIII Jornada de Iniciação CIentifica/ VIII Jornada de Iniciação Aritistica e Cultural com o trabalho entitulado "Euler: Grafos e Topologia" Autores: Ellen Pereira, Fernanda Luna, Giuliana Leal, Jose Castro Kate Revoredo Marcelo Benjamin, Margareth Varela, Sandro Cespes, Gustavo Soares Orientador: Angela Rocha dos Santos.