ReP USP - Resultado da busca

Dissertação (Mestrado)
Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica (2023)
Almeida, Matheus Pereira de; Delgado, Karina Valdivia (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, DESENVOLVIMENTO DE SOFTWARE, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA, Matheus Pereira de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/. Acesso em: 25 jan. 2026.
APA
Almeida, M. P. de. (2023). Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/
NLM
Almeida MP de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica [Internet]. 2023 ;[citado 2026 jan. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/
Vancouver
Almeida MP de. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica [Internet]. 2023 ;[citado 2026 jan. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122023-135952/
Tese (Doutorado)
Human-help in automated planning under uncertainty (2018)
Franch, Ignasi Andrés; Barros, Leliane Nunes de (Orientador)
Unidade: IME
Assunto: CIENCIA DA COMPUTACAO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCH, Ignasi Andrés. Human-help in automated planning under uncertainty. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122018-211701/. Acesso em: 25 jan. 2026.
APA
Franch, I. A. (2018). Human-help in automated planning under uncertainty (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122018-211701/
NLM
Franch IA. Human-help in automated planning under uncertainty [Internet]. 2018 ;[citado 2026 jan. 25 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122018-211701/
Vancouver
Franch IA. Human-help in automated planning under uncertainty [Internet]. 2018 ;[citado 2026 jan. 25 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19122018-211701/
Artigo de periodico
A logic-based agent that plans for extended reachability goals (2008)
Pereira, Silvio Lago; Barros, Leliane Nunes de
Source: Autonomous Agents and Multi-Agent Systems. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio Lago e BARROS, Leliane Nunes de. A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, v. 16, p. 327-344, 2008Tradução . . Disponível em: https://doi.org/10.1007/s10458-008-9034-0. Acesso em: 25 jan. 2026.
APA
Pereira, S. L., & Barros, L. N. de. (2008). A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, 16, 327-344. doi:10.1007/s10458-008-9034-0
NLM
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1007/s10458-008-9034-0
Vancouver
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2026 jan. 25 ] Available from: https://doi.org/10.1007/s10458-008-9034-0

USP Schools

ReP

Filtros

Subjects