ReP USP - Resultado da busca

Artigo de periodico
Robótica cognitiva: programação baseada em lógica para controle de robôs (2007)
Trevizan, Felipe Werndl; Barros, Leliane Nunes de
Source: Controle & Automação. Unidade: IME
Subjects: LINGUAGEM DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TREVIZAN, Felipe Werndl e BARROS, Leliane Nunes de. Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, v. 18, n. 2, p. 187-198, 2007Tradução . . Disponível em: https://doi.org/10.1590/S0103-17592007000200005. Acesso em: 18 nov. 2025.
APA
Trevizan, F. W., & Barros, L. N. de. (2007). Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, 18( 2), 187-198. doi:10.1590/S0103-17592007000200005
NLM
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 18 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
Vancouver
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 18 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
Trabalho de evento
Automated reasoning with uncertainties (2005)
Silva, Flávio Soares Corrêa da ; Robertson, Dave S ; Hesketh, Jane
Source: Proceedings. Conference titles: International Conference Logic at Work. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e ROBERTSON, Dave S e HESKETH, Jane. Automated reasoning with uncertainties. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/3-540-58095-6_5. Acesso em: 18 nov. 2025.
APA
Silva, F. S. C. da, Robertson, D. S., & Hesketh, J. (2005). Automated reasoning with uncertainties. In Proceedings. Berlin: Springer. doi:10.1007/3-540-58095-6_5
NLM
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 18 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Vancouver
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 18 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
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: 18 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. 18 ] 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. 18 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7

USP Schools

ReP

Filtros

Authors