ReP USP - Resultado da busca

Trabalho de evento
Specifying preferences over policies using branching time temporal logic (2023)
Machado, Warlles Carlos Costa; Santos, Viviane Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - (BRACIS). Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MACHADO, Warlles Carlos Costa et al. Specifying preferences over policies using branching time temporal logic. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-45368-7_9. Acesso em: 24 ago. 2024.
APA
Machado, W. C. C., Santos, V. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2023). Specifying preferences over policies using branching time temporal logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-45368-7_9
NLM
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 ago. 24 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9
Vancouver
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 ago. 24 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9
Trabalho de evento
Symbolic FOND planning for temporally extended goals (2022)
Santos, Viviane Bonadia dos ; Barros, Leliane Nunes de ; Pereira, Silvio do Lago; Menezes, Maria Viviane de
Source: Workshop. Conference titles: International Conference on Automated Planning and Scheduling - ICAPS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, MODELOS PARA PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane Bonadia dos et al. Symbolic FOND planning for temporally extended goals. 2022, Anais.. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo, 2022. Disponível em: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf. Acesso em: 24 ago. 2024.
APA
Santos, V. B. dos, Barros, L. N. de, Pereira, S. do L., & Menezes, M. V. de. (2022). Symbolic FOND planning for temporally extended goals. In Workshop. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
NLM
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2024 ago. 24 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
Vancouver
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2024 ago. 24 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
Trabalho de evento
Symbolic planning for strong-cyclic policies (2019)
Santos, Viviane M. Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, SEMÂNTICA, LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Viviane M. Bonadia dos e BARROS, Leliane Nunes de e MENEZES, Maria Viviane de. Symbolic planning for strong-cyclic policies. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/BRACIS.2019.00038. Acesso em: 24 ago. 2024.
APA
Santos, V. M. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2019). Symbolic planning for strong-cyclic policies. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2019.00038
NLM
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 ago. 24 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Vancouver
Santos VMB dos, Barros LN de, Menezes MV de. Symbolic planning for strong-cyclic policies [Internet]. Proceedings. 2019 ;[citado 2024 ago. 24 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Artigo de periodico
Symbolic Regression for Non-Deterministic Actions (2014)
Menezes, Maria Viviane de; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: Learning and NonLinear Models. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Symbolic Regression for Non-Deterministic Actions. Learning and NonLinear Models, v. 12, n. 2, p. 98-114, 2014Tradução . . Disponível em: https://doi.org/10.21528/lnlm-vol12-no2-art3. Acesso em: 24 ago. 2024.
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2014). Symbolic Regression for Non-Deterministic Actions. Learning and NonLinear Models, 12( 2), 98-114. doi:10.21528/lnlm-vol12-no2-art3
NLM
Menezes MV de, Barros LN de, Pereira S do L. Symbolic Regression for Non-Deterministic Actions [Internet]. Learning and NonLinear Models. 2014 ; 12( 2): 98-114.[citado 2024 ago. 24 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Symbolic Regression for Non-Deterministic Actions [Internet]. Learning and NonLinear Models. 2014 ; 12( 2): 98-114.[citado 2024 ago. 24 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3

USP Schools

ReP

Filtros

Authors