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

Detalhes bibliográficos
Autor(a) principal: Menezes, Maria Viviane de
Data de Publicação: 2014
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/
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.
id USP_0c10abd8585f9af2cb47a9170edee131
oai_identifier_str oai:teses.usp.br:tde-20230727-113026
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Mudanças em problemas de planejamento sem soluçãonot availableAprendizado ComputacionalGeração De Planos Em Inteligência ArtificialNesta 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.not availableBiblioteca Digitais de Teses e Dissertações da USPBarros, Leliane Nunes deMenezes, Maria Viviane de2014-10-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-07-27T18:27:06Zoai:teses.usp.br:tde-20230727-113026Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-07-27T18:27:06Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Mudanças em problemas de planejamento sem solução
not available
title Mudanças em problemas de planejamento sem solução
spellingShingle Mudanças em problemas de planejamento sem solução
Menezes, Maria Viviane de
Aprendizado Computacional
Geração De Planos Em Inteligência Artificial
title_short Mudanças em problemas de planejamento sem solução
title_full Mudanças em problemas de planejamento sem solução
title_fullStr Mudanças em problemas de planejamento sem solução
title_full_unstemmed Mudanças em problemas de planejamento sem solução
title_sort Mudanças em problemas de planejamento sem solução
author Menezes, Maria Viviane de
author_facet Menezes, Maria Viviane de
author_role author
dc.contributor.none.fl_str_mv Barros, Leliane Nunes de
dc.contributor.author.fl_str_mv Menezes, Maria Viviane de
dc.subject.por.fl_str_mv Aprendizado Computacional
Geração De Planos Em Inteligência Artificial
topic Aprendizado Computacional
Geração De Planos Em Inteligência Artificial
description 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.
publishDate 2014
dc.date.none.fl_str_mv 2014-10-30
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/
url https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257218422931456