ReP USP - Resultado da busca

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: 10 jun. 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 jun. 10 ] 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 jun. 10 ] Available from: https://doi.org/10.1109/BRACIS.2019.00038
Relatorio tecnico
Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica (2019)
Ribeiro, Leila ; Castro Junior, Alberto Nogueira de; Fröhlich, Antônio Augusto ; Ferraz, Carlos André Guimarães; Ferreira, Carlos Eduardo ; Serey, Dalton; Cordeiro, Daniel de Angelis ; Castro Filho, José Aires de; Bigolin, Nara; Cavalheiro, Simone
Unidades: IME, EACH
Subjects: COMPUTADOR NO ENSINO, EDUCAÇÃO ESCOLAR BÁSICA, TECNOLOGIA EDUCACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Leila et al. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica. . Porto Alegre: SBC. Disponível em: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60. Acesso em: 10 jun. 2024. , 2019
APA
Ribeiro, L., Castro Junior, A. N. de, Fröhlich, A. A., Ferraz, C. A. G., Ferreira, C. E., Serey, D., et al. (2019). Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica. Porto Alegre: SBC. Recuperado de https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
NLM
Ribeiro L, Castro Junior AN de, Fröhlich AA, Ferraz CAG, Ferreira CE, Serey D, Cordeiro D de A, Castro Filho JA de, Bigolin N, Cavalheiro S. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica [Internet]. 2019 ;[citado 2024 jun. 10 ] Available from: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
Vancouver
Ribeiro L, Castro Junior AN de, Fröhlich AA, Ferraz CAG, Ferreira CE, Serey D, Cordeiro D de A, Castro Filho JA de, Bigolin N, Cavalheiro S. Diretrizes da Sociedade Brasileira de Computação para o ensino de computação na educação básica [Internet]. 2019 ;[citado 2024 jun. 10 ] Available from: https://sol.sbc.org.br/livros/index.php/sbc/catalog/book/60
Artigo de periodico
Two AGM-style characterizations of model repair (2019)
Oliveira, Paulo de Tarso Guerra ; Wassermann, Renata
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: TEORIA DA REPRESENTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 10 jun. 2024.
APA
Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4
NLM
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 jun. 10 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
Vancouver
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 jun. 10 ] Available from: https://doi.org/10.1007/s10472-019-09656-4

USP Schools

ReP

Filtros

Authors

Subjects

Normalized affiliation