Doctoral Thesis
DOI
https://doi.org/10.11606/T.45.2014.tde-20230727-113026
Document
Author
Full name
Maria Viviane de Menezes
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2014
Supervisor
Title in Portuguese
Mudanças em problemas de planejamento sem solução
Keywords in Portuguese
Aprendizado Computacional
Geração De Planos Em Inteligência Artificial
Geração De Planos Em Inteligência Artificial
Abstract in Portuguese
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.
Title in English
not available
Abstract in English
not available
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
MenezesMariaViviane.pdf (879.25 Kbytes)
Publishing Date
2023-07-27
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.