área de pesquisa
- Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais
- Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos
- Analysing Natural Language Inference from a Rigorous Point of View
- Answer Set Programming probabilístico
- Análise da distribuição do número de operações de resolvedores SAT
- Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais
- Aprendizado de regras de substituição para normatização de textos historicos.
- Aprimorando o corretor gramatical CoGrOO
- Combinações de Lógicas não-Normais
- Efficient representation of piecewise linear functions into -ukasiewicz logic modulo satisfiability
- Extração de informações de narrativas clínicas
- Handling Database Updates in Two-dimensional Temporal Logics
- Implementação Paralela em Grade de um Resolvedor SAT
- Independência parcial no problema da satisfazibilidade probabilística
- Inteligência Artificial e os rumos do processamento do português brasileiro
- Lógicas de raciocinio aproximado e o problema sat.
- Marcelo Finger
- Maximização de Entropia em Lingüística Computacional para a Língua Portuguesa
- Medindo inconsistência em bases de conhecimento probabilístico
- Modelagem de contextos para aprendizado automático aplicado à análise morfossintática
- Modelos Neurais para Regressão em Séries Temporais
- Probably Partially True: Satisfiability for -ukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics
- Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina
- Revisão de Crenças no fragmento universal da CTL usando Verificação de Modelos Limitada
- Satisfatibilidade Probabilística
- Semantics modulo satisfiability with applications: function representation, probabilities and game theory
- Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável
- Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes
- William Daniel Colen de Moura Silva