Programa de Pós-Graduação em Ciência da Computação
Fillipe Manoel Xavier Resina
Bacharel, Mestre e Doutor em Ciência da Computação pela Universidade de São Paulo, enveredou sua pesquisa na área de Inteligência Artificial (Representação de e Raciocínio sobre Conhecimento), em tópicos envolvendo Lógica e Revisão de Crenças. Atualmente, trabalha como Professor no Insper e no Inteli, nos cursos de Engenharia e de Ciência da Computação. Está envolvido em disciplinas de Lógica de Programação com Python/Javascript, Grafos, Projeto de Algoritmos, Teoria da Computação e Lógica Formal. Trabalha com metodologias ativas de aprendizagem, tais como PBL e Sala de Aula Invertida. Ainda no âmbito acadêmico, possui experiência internacional de Mestrado Sanduíche em uma universidade de ponta na Suécia e experiência também em atividades acadêmicas desde a Graduação, com Iniciação Científica e monitoria de disciplinas. Em sua experiência profissional não acadêmica, atuou por quatro anos como Programador Java em uma empresa de software que desenvolve soluções para a área da saúde. O trabalho era regido pela metodologia ágil Scrum e tinha aplicação web. (Texto informado pelo autor)
Trabalhos completos publicados em anais de congressos (6)
RESINA, F. M. X.; WASSERMANN, R.. Multiple Selective Revision. Em: International Workshop on Non-Monotonic Reasoning (NMR), 2021.Qualis: Não identificado (International Workshop on Non-Monotonic Reasoning (NMR))
RESINA, FILLIPE; GARAPA, MARCO ; WASSERMANN, RENATA ; FERMÉ, EDUARDO ; REIS, MAURÍCIO. Choosing What to Believe - New Results in Selective Revision. Em: 17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020}, p. 687, 2020. Qualis: Não identificado (17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020})
RESINA, FILLIPE; WASSERMANN, R.. A Survey on Multiple Revision. Em: 18th International Workshop on Non-Monotonic Reasoning, 2020.Qualis: Não identificado (18th International Workshop on Non-Monotonic Reasoning)
RESINA, FILLIPE. Multiple Revision in Description Logics. Em: RuleML+RR 2019 Doctoral Consortium and Rule Challenge, v. 2438, 2019.Qualis: Não identificado (RuleML+RR 2019 Doctoral Consortium and Rule Challenge)
RESINA, FILLIPE; RIBEIRO, MARCIO M. ; WASSERMANN, RENATA. Algorithms for Multiple Contraction and an Application to OWL Ontologies. Em: 2014 Brazilian Conference on Intelligent Systems (BRACIS), p. 366, 2014. Qualis: Não identificado (2014 Brazilian Conference on Intelligent Systems (BRACIS))
COBE, R. ; RESINA, F. M. X. ; WASSERMANN, R.. Merging Ontologies via Kernel Contraction. Em: Ontobras, v. 1041, p. 94-105, 2013.Qualis: Não identificado (Ontobras)
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 (1)
Best Student Original Paper Award, International Workshop on Non-Monotonic Reasoning (NMR 2021).. 2021. Membro: Fillipe Manoel Xavier Resina.
Participação em eventos
Total de participação em eventos (8)
17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020}. Choosing What to Believe - New Results in Selective Revision. 2020. (Congresso).
18th International Workshop on Non-Monotonic Reasoning.A Survey on Multiple Revision. 2020. (Seminário).
Global Conference In Artificial Intelligence + International Joint Conference on Rules and Reasoning. Multiple Revision in Description Logics. 2019. (Congresso).
Encontro Brasileiro de Lógica.First steps towards multiple revision in description logics. 2017. (Encontro).
2014 Brazilian Conference on Intelligent Systems (BRACIS). Algorithms for Multiple Contraction and an application to OWL Ontologies. 2014. (Congresso).
International Workshop on Logical and Semantic Frameworks with Applications (LSFA). 2013. (Oficina).
Ontobras.Merging Ontologies via Kernel Contraction. 2013. (Seminário).
Simpósio Internacional de Iniciação Científica.Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé. 2011. (Simpósio).
Organização de eventos
Total de organização de eventos (0)
Lista de colaborações
Colaborações endôgenas (0)
(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 06/12/2024 15:59:56