Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
On structured belief basesRenata WassermannWilliams, Mary-Anne; Rott, Hans, ed Frontiers in belief revision Dordrecht : Springer, 2001Dordrecht Springer 2001Localização: IME - Inst. Matemática e Estatística (PROD-2966445 )(Acessar) |
|
2 |
Material Type: Livro
|
Pseudo-contractions as gentle repairsVinícius Bitencourt Matos Ricardo Guimarães; Yuri David Santos; Renata WassermannLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2962949 )(Acessar) |
|
3 |
Material Type: Livro
|
Logic, language, information, and computationAlexandra Silva Renata Wassermann; Ruy de Queiroz; International Workshop on Logic, Language, Information, and Computation - WoLLIC (27. 2021 virtual event)Cham Springer 2021Localização: IME - Inst. Matemática e Estatística (PROD-3052847 )(Acessar) |
|
4 |
Material Type: Livro
|
Inteligência artificial uma abordagem moderna. [Revisão Técnica]Flávio Soares Corrêa da Silva Denis Deratani Mauá; Leliane Nunes de Barros; Renata WassermannRio de Janeiro GEN/LTC 2022Localização: IME - Inst. Matemática e Estatística (QA860 R967aP 4.ed. e.2 )(Acessar) |
|
5 |
Material Type: Livro
|
Seminar on Ontology Research in Brazil, 6 proceedingsMarcello Peixoto Bax Maurício B Almeida; Renata Wassermann; Seminar on Ontology Research in Brazil (6. 2013 Belo Horizonte, BH, Brazil)Belo Horizonte ECI/UFMG 2013Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
On the use of ontologies for search in a collaborative system for architectural imagesMarisol Solis Renata Wassermann; Vânia Mara Alves Lima; International Society for Knowledge Organization - ISKO (14. 2016 Rio de Janeiro)Proceedings Würzburg : Ergon-Verlag, 2016Würzburg Ergon-Verlag 2016Localização: IME - Inst. Matemática e Estatística (PROD-2870356 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Inteligência artificial tradução da terceira ediçãoStuart J. Russell (Stuart Jonathan) Peter Norvig; Regina Célia Simille de Macedo; Flávio Soares Corrêa da Silva; Leliane Nunes de Barros; Renata WassermannRio de Janeiro Elsevier Campus 2013Localização: IME - Inst. Matemática e Estatística (QA860 R967aP 2013 e.2 )(Acessar) |
|
8 |
Material Type: Relatório Técnico
|
Tableaux for approximate reasoningMarcelo Finger Renata WassermannSão Paulo IME-USP 2001Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Resenha
|
Change, choice and inference. [Book review]Andre Fuhrmann Renata WassermannMind Oxford v. 112, n. 448, p. 790-792, 2003Oxford 2003Localização: IME - Inst. Matemática e Estatística (PROD-1408125 ) e outros locais(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
Em busca de procedimentos de inferência eficientes via relevância por sintaxeRiani, JoselytoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2004-03-30Acesso online. A biblioteca também possui exemplares impressos. |