ReP USP - Resultado da busca

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: 15 nov. 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 nov. 15 ] 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 nov. 15 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf
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: 15 nov. 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 nov. 15 ] 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 nov. 15 ] Available from: https://doi.org/10.21528/lnlm-vol12-no2-art3
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: 15 nov. 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 nov. 15 ] 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 nov. 15 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Trabalho de evento
Planning task validation (2012)
Menezes, M. V; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: proceedings. Conference titles: SPARK 2012 - Scheduling and Planning Applications Workshop at ICAPS, 22. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, M. V e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Planning task validation. 2012, Anais.. Atibaia: ICAPS, 2012. . Acesso em: 15 nov. 2024.
APA
Menezes, M. V., Barros, L. N. de, & Pereira, S. do L. (2012). Planning task validation. In proceedings. Atibaia: ICAPS.
NLM
Menezes MV, Barros LN de, Pereira S do L. Planning task validation. proceedings. 2012 ;[citado 2024 nov. 15 ]
Vancouver
Menezes MV, Barros LN de, Pereira S do L. Planning task validation. proceedings. 2012 ;[citado 2024 nov. 15 ]
Artigo de periodico
A planner agent that tries its best in presence of nondeterminism (2012)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Journal of Applied Logic. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, v. 10, p. 419-430, 2012Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2012.06.002. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2012). A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic, 10, 419-430. doi:10.1016/j.jal.2012.06.002
NLM
Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002
Vancouver
Pereira S do L, Barros LN de. A planner agent that tries its best in presence of nondeterminism [Internet]. Journal of Applied Logic. 2012 ; 10 419-430.[citado 2024 nov. 15 ] Available from: https://doi.org/10.1016/j.jal.2012.06.002
Trabalho de evento
Using α-ctl to specify complex planning goals (2008)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: FUNÇÕES BOOLEANAS, COMPUTABILIDADE E COMPLEXIDADE, LÓGICA FUZZY, TEORIA DA INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Using α-ctl to specify complex planning goals. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-69937-8_23. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2008). Using α-ctl to specify complex planning goals. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-69937-8_23
NLM
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23
Vancouver
Pereira S do L, Barros LN de. Using α-ctl to specify complex planning goals [Internet]. Proceedings. 2008 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-69937-8_23
Trabalho de evento
Strong probabilistic planning (2008)
Pereira, Silvio do Lago; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Mexican International Conference on Artificial Intelligence - MICAI. Unidades: IME, EP
Subjects: PROCESSOS DE MARKOV, ALGORITMOS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de e COZMAN, Fabio Gagliardi. Strong probabilistic planning. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88636-5_61. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L., Barros, L. N. de, & Cozman, F. G. (2008). Strong probabilistic planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88636-5_61
NLM
Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. Proceedings. 2008 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-88636-5_61
Vancouver
Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. Proceedings. 2008 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-88636-5_61
Tese (Doutorado)
Planejamento sob incerteza para metas de alcançabilidade estendidas (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L. (2007). Planejamento sob incerteza para metas de alcançabilidade estendidas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
NLM
Pereira S do L. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
Vancouver
Pereira S do L. Planejamento sob incerteza para metas de alcançabilidade estendidas [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-09042008-105750/
Relatorio tecnico
Strong probabilistic planning (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Unidades: IME, EP
Assunto: PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de e COZMAN, Fabio Gagliardi. Strong probabilistic planning. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/61ee1f5e-f7b4-4c1d-bf40-e7240bd7f7f0/1639319.pdf. Acesso em: 15 nov. 2024. , 2007
APA
Pereira, S. do L., Barros, L. N. de, & Cozman, F. G. (2007). Strong probabilistic planning. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/61ee1f5e-f7b4-4c1d-bf40-e7240bd7f7f0/1639319.pdf
NLM
Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/61ee1f5e-f7b4-4c1d-bf40-e7240bd7f7f0/1639319.pdf
Vancouver
Pereira S do L, Barros LN de, Cozman FG. Strong probabilistic planning [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/61ee1f5e-f7b4-4c1d-bf40-e7240bd7f7f0/1639319.pdf
Relatorio tecnico
Formalizing planning algorithms for temporally extended goals (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 15 nov. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
NLM
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Vancouver
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Relatorio tecnico
Planejamento baseado em processos de decisão Markovianos (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planejamento baseado em processos de decisão Markovianos. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf. Acesso em: 15 nov. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Planejamento baseado em processos de decisão Markovianos. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
NLM
Pereira S do L, Barros LN de. Planejamento baseado em processos de decisão Markovianos [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
Vancouver
Pereira S do L, Barros LN de. Planejamento baseado em processos de decisão Markovianos [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/3852308f-49a4-4135-af66-4ea9ddad8514/1610332.pdf
Relatorio tecnico
Diagramas de decisão binária (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Diagramas de decisão binária. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf. Acesso em: 15 nov. 2024. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Diagramas de decisão binária. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
NLM
Pereira S do L, Barros LN de. Diagramas de decisão binária [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
Vancouver
Pereira S do L, Barros LN de. Diagramas de decisão binária [Internet]. 2007 ;[citado 2024 nov. 15 ] Available from: https://repositorio.usp.br/directbitstream/f0d5eb24-22b2-4a9b-a6ed-dbab85dbd2bc/1610329.pdf
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planning with abduction: a logical framework to explore extensions to classical planning. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_7. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). Planning with abduction: a logical framework to explore extensions to classical planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_7
NLM
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Vancouver
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 nov. 15 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Dissertação (Mestrado)
Planejamento abdutivo no cálculo de eventos (2002)
Pereira, Silvio do Lago; Barros, Leliane Nunes de (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago. Planejamento abdutivo no cálculo de eventos. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-130621/. Acesso em: 15 nov. 2024.
APA
Pereira, S. do L. (2002). Planejamento abdutivo no cálculo de eventos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-130621/
NLM
Pereira S do L. Planejamento abdutivo no cálculo de eventos [Internet]. 2002 ;[citado 2024 nov. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-130621/
Vancouver
Pereira S do L. Planejamento abdutivo no cálculo de eventos [Internet]. 2002 ;[citado 2024 nov. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-130621/

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title

Conference titles

Funding Agencies

Non normalized affiliation