Navegando por Autor Menezes, Maria Viviane de
Mostrando resultados 1 a 11 de 11
| Data do documento | Título | Autor(es) | Tipo |
| 2017 | Análise do planejador simbólico Alpha-CTL na detecção de problemas de planejamento sem solução | Ferreira, Macílio da Silva | TCC |
| 2018 | Aplicação de Busca Bidirecional em Planejamento como Verificação Simbólica de Modelos | Melo, Vinicius Teixeira de | TCC |
| 2019 | Busca heurística simbólica para planejamento determinístico | Silva, Marisa do Carmo | TCC |
| 2019 | Especificação de preferências de planos usando metas estendidas na lógica alpha-CTL | Santos, Rodrigo Machado dos | TCC |
| 2018 | Mudança de ações em problemas de planejamento sem solução | Alves, Rômulo Herbert Ferreira Franco | TCC |
| 2024 | Obtenção de dados estruturados para aquisição automática do domínio de planejamento gerenciador do agente de diálogo plantão coronavírus | Sousa, Luís Fernando Oliveira | TCC |
| 2019 | Planejamento não determinístico baseado em redes neurais ASNet | Lima, Maria Tassiane Barros de | TCC |
| 2024 | Planejamento não-determinístico para o gerenciamento do agente de diálogo plantão coronavírus | Pinho, Bruno da Silva | Dissertação |
| 2019 | Sistema colaborativo para engajamento familiar no cuidado de idosos | França, Jayne Carvalho | TCC |
| 2018 | O uso de relevância na mudança do estado inicial em problemas de planejamento sem solução | Almeida, Rodrigo Barbosa de | TCC |
| 2018 | Utilizando preferências na mudança da meta de planejamento | Azevedo Júnior, Ernandes | TCC |
