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
Fonte: Proceedings. Nome do evento: 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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9
Trabalho de evento
Symbolic planning for strong-cyclic policies (2019)
Santos, Viviane M. Bonadia dos ; Barros, Leliane Nunes de ; Menezes, Maria Viviane de
Fonte: Proceedings. Nome do evento: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME
Assuntos: 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: 08 nov. 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 nov. 08 ] 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 nov. 08 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Trabalho de evento
Model update for automated planning (2011)
Menezes, Maria Viviane de; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: AAAI Conference on Artificial Intelligence, 25. 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. Model update for automated planning. 2011, Anais.. Menlo Park: AAAI, 2011. Disponível em: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047. Acesso em: 08 nov. 2024.
APA
Menezes, M. V. de, & Barros, L. N. de. (2011). Model update for automated planning. In Proceedings. Menlo Park: AAAI. Recuperado de https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
NLM
Menezes MV de, Barros LN de. Model update for automated planning [Internet]. Proceedings. 2011 ;[citado 2024 nov. 08 ] Available from: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
Vancouver
Menezes MV de, Barros LN de. Model update for automated planning [Internet]. Proceedings. 2011 ;[citado 2024 nov. 08 ] Available from: https://www.aaai.org/ocs/index.php/DC/DC11/paper/view/3536/4047
Trabalho de evento
System design modification with actions (2010)
Menezes, Maria Viviane de; Pareira, Silvio do L; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. 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 PAREIRA, Silvio do L e BARROS, Leliane Nunes de. System design modification with actions. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_4. Acesso em: 08 nov. 2024.
APA
Menezes, M. V. de, Pareira, S. do L., & Barros, L. N. de. (2010). System design modification with actions. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_4
NLM
Menezes MV de, Pareira S do L, Barros LN de. System design modification with actions [Internet]. Proceedings. 2010 ;[citado 2024 nov. 08 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_4
Vancouver
Menezes MV de, Pareira S do L, Barros LN de. System design modification with actions [Internet]. Proceedings. 2010 ;[citado 2024 nov. 08 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_4

Unidades USP

ReP

Filtros

Autores