ReP USP - Resultado da busca

Filtros : "PROGRAMAÇÃO LÓGICA" "Financiamento CAPES" Removido: "Proceedings of Machine Learning Research" Limpar

Filtros

Autores USP
- barros, leliane nunes de (1)
- cozman, fabio gagliardi (1)
- gonçalves, jonas rodrigues lima (1)
- mauá, denis deratani (1)
- pereira, silvio do lago (1)

Ano de publicação
- 2024 (~1)
- 2004 (~1)
Assuntos
- inteligência artificial (2)
- programação lógica (2)
- aprendizado computacional (1)
- computação evolutiva (1)
- redes neurais (1)

Trabalho de evento
dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning (2024)
Geh, Renato Lui ; Gonçalves, Jonas; Silveira, Igor Cataneo ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Fonte: Proceedings. Nome do evento: International Conference on Principles of Knowledge Representation and Reasoning – KR. Unidades: IME, EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, SEMÂNTICA, APRENDIZADO COMPUTACIONAL, COMPUTAÇÃO EVOLUTIVA, REDES NEURAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEH, Renato Lui et al. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning. 2024, Anais.. California: IJCAI Organization, 2024. Disponível em: https://doi.org/10.24963/kr.2024/69. Acesso em: 19 nov. 2025.
APA
Geh, R. L., Gonçalves, J., Silveira, I. C., Mauá, D. D., & Cozman, F. G. (2024). dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning. In Proceedings. California: IJCAI Organization. doi:10.24963/kr.2024/69
NLM
Geh RL, Gonçalves J, Silveira IC, Mauá DD, Cozman FG. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning [Internet]. Proceedings. 2024 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.24963/kr.2024/69
Vancouver
Geh RL, Gonçalves J, Silveira IC, Mauá DD, Cozman FG. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning [Internet]. Proceedings. 2024 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.24963/kr.2024/69
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: 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: 19 nov. 2025.
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 2025 nov. 19 ] 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 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo 2012 - 2025

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos