Tese de Doutorado
Documento
Tese de Doutorado
Autor
Nome completo
Maria Viviane de Menezes
E-mail
Unidade da USP
Instituto de Matemática e Estatística
Área do Conhecimento
Data de Defesa
2014-10-30
Imprenta
São Paulo, 2014
Orientador
Título em português
Mudanças em problemas de planejamento sem solução
Palavras-chave em português
Aprendizado Computacional, Geração De Planos Em Inteligência Artificial
Resumo em português
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.
Título em inglês
not available
Resumo em inglês
not available
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso: Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2023-07-27
Trabalhos decorrentes
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.