Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Positive artificial intelligenceFlávio Soares Corrêa da Silva International Conference of the Italian Association for Artificial Intelligence - AIxIA (19. 2020 online); Italian Workshop on Artificial Intelligence for an Ageing Society - AixAS (2020 online)CEUR Workshop Proceedings Aachen v. 2804, p. 1-13, 2020Aachen 2020Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
Towards positive artificial intelligenceFlávio Soares Corrêa da Silva International Conference of the Italian Association for Artificial Intelligence - AIxIA (19. 2020 Online)Proceedings Cham : Springer, 2021Cham Springer 2021Localização: IME - Inst. Matemática e Estatística (PROD-3076445 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Unifying nondeterministic and probabilistic planning through imprecise Markov decision processesFelipe Werndl Trevizan Fabio Gagliardi Cozman 1967-; Leliane Nunes de Barros; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. (2006 Ribeirão Preto, SP); Brazilian Symposium on Artificial Intelligence - SBIA (18. (2006 Ribeirão Preto, SP)Proceedings Berlin: Springer, 2006Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (PROD-1569217 ) e outros locais(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Belief revision and computer scienceRenata Wassermann European Conference on Artificial Intelligence - ECAI (20. 2012 Montpellier, France); Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution (2012 Montpellier, France)Workshop notes Grimstad : Centre for Artificial Intelligence Research (CAIR), 2012Grimstad Centre for Artificial Intelligence Research CAIR 2012Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo de Congresso
|
![]() |
Ontology merging and conflict resolution iconsistency and incoherence solving approachesRaphael Cobe Renata Wassermann; European Conference on Artificial Intelligence - ECAI (20. 2012 Montpellier, France); Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution (2012 Montpellier, France)Workshop notes Grimstad : Centre for Artificial Intelligence Research (CAIR), 2012Grimstad Centre for Artificial Intelligence Research CAIR 2012Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Artigo de Congresso
|
![]() |
The complexity of MAP inference in Bayesian networks specified through logical languagesDenis Deratani Mauá Cassio Polpo de Campos; Fabio Gagliardi Cozman 1967-; International Joint Conference on Artificial Intelligence - IJCAI (24. 2015 Buenos Aires)Proceedings Palo Alto: AAAI Press / International Joint Conferences on Artificial Intelligence, 2015Palo Alto AAAI Press / International Joint Conferences on Artificial Intelligence 2015Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Artigo de Congresso
|
![]() |
Logics in artificial intelligenceRenata Wassermann Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Artigo
|
![]() |
Advances in weighted logics for artificial intelligence. [Editorial]Marcelo Finger Lluis Godo; Henri Prade; Guilin QiInternational Journal of Approximate Reasoning Philadelphia v. 88, p. 385-386, 2017Philadelphia 2017Localização: IME - Inst. Matemática e Estatística (PROD-2865046 )(Acessar) |
9 |
Material Type: Artigo
|
![]() |
Positive artificial intelligence meets affective walkabilityStefania Bandini Framcesca Gasparini; Flávio Soares Corrêa da SilvaOhsawa, Yukio, ed. Intelligent Systems Reference Library: Living Beyond Data Heidelberg v. 230, n. , p.161-178, 2022Heidelberg Springer 2022Localização: IME - Inst. Matemática e Estatística (PROD-3106224 )(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Symbolic bounded real-time dynamic programmingKarina Valdívia Delgado Fang, cheng; Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo, SP)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2190199 )(Acessar) |