Mudanças em problemas de planejamento sem solução
Autor(a) principal: | |
---|---|
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 |