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