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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 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 maio 24 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3
Tese (Doutorado)
Mudanças em problemas de planejamento sem solução (2014)
Menezes, Maria Viviane de; Barros, Leliane Nunes de (Orientador)
Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
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: 24 maio 2024.
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 2024 maio 24 ] 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 2024 maio 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113026/
Trabalho de evento
Regressão de ações não determinísticas: uma solução simbólica (2013)
Menezes, Maria Viviane de; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: GERAÇÃO DE PLANOS EM 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. Regressão de ações não determinísticas: uma solução simbólica. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf. Acesso em: 24 maio 2024.
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2013). Regressão de ações não determinísticas: uma solução simbólica. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
NLM
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 24 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 24 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Trabalho de evento
Model update for automated planning (2011)
Menezes, Maria Viviane de; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: 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: 24 maio 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 maio 24 ] 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 maio 24 ] 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
Source: Proceedings. Conference titles: 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: 24 maio 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 maio 24 ] 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 maio 24 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_4

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Conference titles

Non normalized affiliation