Mudanças em problemas de planejamento sem solução

Autor(es)

Maria Viviane de Menezes

• Tipo de documento: Tese de Doutorado
• Imprenta: São Paulo.
• Instituição: Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI)
• Data de defesa: 2014-10-30
• Orientador: Leliane Nunes de Barros

Resumo

Nesta tese propomos um arcabouço para sugerir mudanças em problemas de planejamento automatizado sem solução, baseado na abordagem formal de verificação de modelos, bem como na área de revisão e atualização de crenças. (AU)

• Processo FAPESP: 10/10845-0 - Atualização de modelos baseada em ações
• Beneficiário: Maria Viviane de Menezes
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto