Heurística e planejamento eficiente para problemas espaciais
Processos de decisão markovianos especificados com programação lógica probabilísti...
Pós-edição automática e semanticamente motivada de traduções em Português do Brasil
Cálculo da Perspectiva Dêitica através do Raciocínio Espacial Qualitativo
Extensões probabilísticas de fragmentos da lógica de primeira ordem
Inteligência artificial normativa para regulação de manufatura