Mudanças em problemas de planejamento sem solução (2014)
- Authors:
- Autor USP: MENEZES, MARIA VIVIANE DE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/T.45.2014.tde-20230727-113026
- Subjects: APRENDIZADO COMPUTACIONAL; GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 30.10.2014
- Este artigo possui versão em acesso aberto
- URL de acesso aberto
- PDF de acesso aberto
- Versão do Documento: Versão publicada (Published version)
-
Status: Artigo publicado em periódico de acesso aberto (Gold Open Access) -
ABNT
MENEZES, Maria Viviane de. Mudanças em problemas de planejamento sem solução. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/. Acesso em: 15 mar. 2026. -
APA
Menezes, M. V. de. (2014). Mudanças em problemas de planejamento sem solução (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/ -
NLM
Menezes MV de. Mudanças em problemas de planejamento sem solução [Internet]. 2014 ;[citado 2026 mar. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/ -
Vancouver
Menezes MV de. Mudanças em problemas de planejamento sem solução [Internet]. 2014 ;[citado 2026 mar. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
