ReP USP - Resultado da busca

Trabalho de evento
When a robot reaches out for human help (2018)
Andrés, Ignasi; Barros, Leliane Nunes de ; Mauá, Denis Deratani ; Simão, Thiago Dias
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: PROCESSOS DE MARKOV, PROBABILIDADE, INTERFACE HOMEM-COMPUTADOR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRÉS, Ignasi et al. When a robot reaches out for human help. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-030-03928-8_23. Acesso em: 17 set. 2024.
APA
Andrés, I., Barros, L. N. de, Mauá, D. D., & Simão, T. D. (2018). When a robot reaches out for human help. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-03928-8_23
NLM
Andrés I, Barros LN de, Mauá DD, Simão TD. When a robot reaches out for human help [Internet]. Proceedings. 2018 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-030-03928-8_23
Vancouver
Andrés I, Barros LN de, Mauá DD, Simão TD. When a robot reaches out for human help [Internet]. Proceedings. 2018 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-030-03928-8_23
Trabalho de evento
A logic based algorithm for solving probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 17 set. 2024.
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Trabalho de evento
Revision of CTL models (2010)
Guerra, Paulo T ; Wassermann, Renata
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS AUTÔNOMOS, REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revision of CTL models. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_16. Acesso em: 17 set. 2024.
APA
Guerra, P. T., & Wassermann, R. (2010). Revision of CTL models. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_16
NLM
Guerra PT, Wassermann R. Revision of CTL models [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
Vancouver
Guerra PT, Wassermann R. Revision of CTL models [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
Trabalho de evento
An argumentation machinery to reason over inconsistent ontologies (2010)
Moguillansky, Martin O ; Wassermann, Renata ; Falappa, Marcelo A
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMPUTAÇÃO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOGUILLANSKY, Martin O e WASSERMANN, Renata e FALAPPA, Marcelo A. An argumentation machinery to reason over inconsistent ontologies. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_11. Acesso em: 17 set. 2024.
APA
Moguillansky, M. O., Wassermann, R., & Falappa, M. A. (2010). An argumentation machinery to reason over inconsistent ontologies. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_11
NLM
Moguillansky MO, Wassermann R, Falappa MA. An argumentation machinery to reason over inconsistent ontologies [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_11
Vancouver
Moguillansky MO, Wassermann R, Falappa MA. An argumentation machinery to reason over inconsistent ontologies [Internet]. Proceedings. 2010 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_11
Trabalho de evento-anais periodico
A driving assistance system for navigation in urban environments (2010)
Fernandes, Leandro Carlos; Dias, Maurício Acconcia; Osório, Fernando Santos ; Wolf, Denis Fernando
Source: Lecture Notes in Computer Science. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNANDES, Leandro Carlos et al. A driving assistance system for navigation in urban environments. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_55. Acesso em: 17 set. 2024. , 2010
APA
Fernandes, L. C., Dias, M. A., Osório, F. S., & Wolf, D. F. (2010). A driving assistance system for navigation in urban environments. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-16952-6_55
NLM
Fernandes LC, Dias MA, Osório FS, Wolf DF. A driving assistance system for navigation in urban environments [Internet]. Lecture Notes in Computer Science. 2010 ; 6433 542-551.[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_55
Vancouver
Fernandes LC, Dias MA, Osório FS, Wolf DF. A driving assistance system for navigation in urban environments [Internet]. Lecture Notes in Computer Science. 2010 ; 6433 542-551.[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_55
Trabalho de evento-anais periodico
Improving efficiency of a genetic algorithm applied to multi-robot tactic operation (2010)
Pessin, Gustavo; Osório, Fernando Santos ; Wolf, Denis Fernando ; Brasil, Christiane Regina Soares
Source: Lecture Notes in Computer Science. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PESSIN, Gustavo et al. Improving efficiency of a genetic algorithm applied to multi-robot tactic operation. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_6. Acesso em: 17 set. 2024. , 2010
APA
Pessin, G., Osório, F. S., Wolf, D. F., & Brasil, C. R. S. (2010). Improving efficiency of a genetic algorithm applied to multi-robot tactic operation. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-16952-6_6
NLM
Pessin G, Osório FS, Wolf DF, Brasil CRS. Improving efficiency of a genetic algorithm applied to multi-robot tactic operation [Internet]. Lecture Notes in Computer Science. 2010 ; 6433 50-59.[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_6
Vancouver
Pessin G, Osório FS, Wolf DF, Brasil CRS. Improving efficiency of a genetic algorithm applied to multi-robot tactic operation [Internet]. Lecture Notes in Computer Science. 2010 ; 6433 50-59.[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_6
Trabalho de evento
Unifying nondeterministic and probabilistic planning through imprecise Markov decision processes (2006)
Trevizan, Felipe Werndl; Cozman, Fabio Gagliardi ; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidades: EP, IME
Subjects: PROBABILIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TREVIZAN, Felipe Werndl e COZMAN, Fabio Gagliardi e BARROS, Leliane Nunes de. Unifying nondeterministic and probabilistic planning through imprecise Markov decision processes. 2006, Anais.. Berlin: Springer, 2006. Disponível em: https://doi.org/10.1007/11874850_54. Acesso em: 17 set. 2024.
APA
Trevizan, F. W., Cozman, F. G., & Barros, L. N. de. (2006). Unifying nondeterministic and probabilistic planning through imprecise Markov decision processes. In Proceedings. Berlin: Springer. doi:10.1007/11874850_54
NLM
Trevizan FW, Cozman FG, Barros LN de. Unifying nondeterministic and probabilistic planning through imprecise Markov decision processes [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_54
Vancouver
Trevizan FW, Cozman FG, Barros LN de. Unifying nondeterministic and probabilistic planning through imprecise Markov decision processes [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_54
Trabalho de evento
Diagnostic of programs for programming learning tools (2006)
Delgado, Karina Valdivia ; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: ALGORITMOS, INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE SOFTWARE, SOLUÇÃO DE PROBLEMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGADO, Karina Valdivia e BARROS, Leliane Nunes de. Diagnostic of programs for programming learning tools. 2006, Anais.. Berlin: Springer, 2006. Disponível em: https://doi.org/10.1007/11874850_5. Acesso em: 17 set. 2024.
APA
Delgado, K. V., & Barros, L. N. de. (2006). Diagnostic of programs for programming learning tools. In Proceedings. Berlin: Springer. doi:10.1007/11874850_5
NLM
Delgado KV, Barros LN de. Diagnostic of programs for programming learning tools [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_5
Vancouver
Delgado KV, Barros LN de. Diagnostic of programs for programming learning tools [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_5
Trabalho de evento
Comparing two Markov methods for part-of-speech tagging of portuguese (2006)
Kepler, Fábio Natanael; Finger, Marcelo
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, PROCESSOS DE MARKOV, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KEPLER, Fábio Natanael e FINGER, Marcelo. Comparing two Markov methods for part-of-speech tagging of portuguese. 2006, Anais.. Berlin: Springer, 2006. Disponível em: https://doi.org/10.1007/11874850_52. Acesso em: 17 set. 2024.
APA
Kepler, F. N., & Finger, M. (2006). Comparing two Markov methods for part-of-speech tagging of portuguese. In Proceedings. Berlin: Springer. doi:10.1007/11874850_52
NLM
Kepler FN, Finger M. Comparing two Markov methods for part-of-speech tagging of portuguese [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_52
Vancouver
Kepler FN, Finger M. Comparing two Markov methods for part-of-speech tagging of portuguese [Internet]. Proceedings. 2006 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/11874850_52
Trabalho de evento
Full acceptance via argumentation (2000)
Carbogim, Daniela Vasconcelos; Wassermann, Renata
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos e WASSERMANN, Renata. Full acceptance via argumentation. 2000, Anais.. New York: ACM, 2000. Disponível em: https://dl.acm.org/doi/10.5555/645854.669644. Acesso em: 17 set. 2024.
APA
Carbogim, D. V., & Wassermann, R. (2000). Full acceptance via argumentation. In Proceedings. New York: ACM. doi:10.5555/645854.669644
NLM
Carbogim DV, Wassermann R. Full acceptance via argumentation [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://dl.acm.org/doi/10.5555/645854.669644
Vancouver
Carbogim DV, Wassermann R. Full acceptance via argumentation [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://dl.acm.org/doi/10.5555/645854.669644
Trabalho de evento
Remarks on reasoning with progressively obsolete information (2000)
Silva, Flávio Soares Corrêa da ; Vitorio, Sirley Ambrosia
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
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 VITORIO, Sirley Ambrosia. Remarks on reasoning with progressively obsolete information. 2000, Anais.. New York: ACM, 2000. Disponível em: https://dl.acm.org/doi/10.5555/645854.669633. Acesso em: 17 set. 2024.
APA
Silva, F. S. C. da, & Vitorio, S. A. (2000). Remarks on reasoning with progressively obsolete information. In Proceedings. New York: ACM. doi:10.5555/645854.669633
NLM
Silva FSC da, Vitorio SA. Remarks on reasoning with progressively obsolete information [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://dl.acm.org/doi/10.5555/645854.669633
Vancouver
Silva FSC da, Vitorio SA. Remarks on reasoning with progressively obsolete information [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://dl.acm.org/doi/10.5555/645854.669633
Trabalho de evento
Sharing resource-sensitive knowledge using combinator logics (2000)
Finger, Marcelo ; Vasconcelos, Wamberto
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e VASCONCELOS, Wamberto. Sharing resource-sensitive knowledge using combinator logics. 2000, Anais.. Berlin: Springer, 2000. Disponível em: https://doi.org/10.1007/3-540-44399-1_21. Acesso em: 17 set. 2024.
APA
Finger, M., & Vasconcelos, W. (2000). Sharing resource-sensitive knowledge using combinator logics. In Proceedings. Berlin: Springer. doi:10.1007/3-540-44399-1_21
NLM
Finger M, Vasconcelos W. Sharing resource-sensitive knowledge using combinator logics [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/3-540-44399-1_21
Vancouver
Finger M, Vasconcelos W. Sharing resource-sensitive knowledge using combinator logics [Internet]. Proceedings. 2000 ;[citado 2024 set. 17 ] Available from: https://doi.org/10.1007/3-540-44399-1_21

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Funding Agencies