Programa de Pós-Graduação em Ciência da Computação

Ricardo Ferreira Guimarães

Possui graduação em Ciências de Computação pela Universidade de São Paulo(2014) e doutorado em Ciencia da Computacao pela Universidade de São Paulo(2020). Tem experiência na área de Ciência da Computação. Atuando principalmente nos seguintes temas:revisão de crenças, ontologias, lógicas de descrição, modularização de ontologias. (Texto gerado automaticamente pela aplicação CVLattes)

http://lattes.cnpq.br/9014624550334062 (28/09/2020)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço:

Grande área: Ciências Exatas e da Terra

Área: Ciência da Computação

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (0)
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (1)
1. Matos, Vinícius Bitencourt ; Guimarães, Ricardo ; Santos, Yuri David ; Wassermann, Renata. Pseudo-contractions as Gentle Repairs. Em: Carsten Lutz;Uli Sattler;Cesare Tinelli;Anni-Yasmin Turhan;Frank Wolter. (Org.). Lecture Notes in Computer Science. 1ed. : Springer International Publishing. 2019.p. 385-403.
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (2)
1. GUIMARÃES, R.; SATTLER, U. ; WASSERMANN, R.. Ontology Stratification Methods: A Comparative Study. Em: 3rd International Workshop on Ontology Modularity, 2018. Qualis: Não identificado (3rd International Workshop on Ontology Modularity)
2. GUIMARÃES, R. F.; WASSERMANN, R.. Local Changes in Ontologies with Atomic Decomposition. Em: Debugging and Evaluation Workshop, v. 2050, 2017.Qualis: Não identificado (Debugging and Evaluation Workshop)
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (0)

Prêmios e títulos

Total de prêmios e títulos (0)

Participação em eventos

Total de participação em eventos (0)

Organização de eventos

Total de organização de eventos (0)

Lista de colaborações

Colaborações endôgenas (1)
- Ricardo Ferreira Guimarães ⇔ Vinícius Bitencourt Matos (1.0)
  1. Matos, Vinícius Bitencourt ; Guimarães, Ricardo ; Santos, Yuri David ; Wassermann, Renata. Pseudo-contractions as Gentle Repairs. Em: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. (Org.). Lecture Notes in Computer Science. 1ed.Cham. : Springer International Publishing. 2019.v. 11560, p. 385-403.

(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 12/02/2025 20:44:31