Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
A review on temporal reasoning using support vector machinesRenata Cristina Barros Madeo Clodoaldo Aparecido de Moraes Lima; Sarajane Marques Peres; International Symposium on Temporal Representation and Reasoning (19. 2012 Leicester, UK)Proceedings : International Workshop on Temporal Representation and Reasoning Piscataway : IEEE, 2012Leicester, UK 2012Item não circula. Consulte sua biblioteca.(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Expressivity and control in limited reasoningMarcelo Finger Renata Wassermann; European Conference on Artificial Intelligence - ECAI (15. 2002 Lyon)Proceedings Amsterdam : IOS Press, 2002Amsterdam IOS Press 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
Automated reasoning with uncertaintiesFlávio Soares Corrêa da Silva Dave S Robertson; Jane Hesketh; International Conference Logic at Work (992 Amsterdam)Proceedings Berlin : Springer, 2005Berlin Springer 2005Localização: IME - Inst. Matemática e Estatística (PROD-3162123 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Tableaux for approximate reasoningMarcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)Proceedings Seatle : IJCAI, 2001Seatle IJCAI 2001Localização: IME - Inst. Matemática e Estatística (PROD-1253528 ) e outros locais(Acessar) |
|
5 |
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) |
|
6 |
Material Type: Artigo de Congresso
|
Acase-based reasoning development environmentRicardo Barz Sovat André Carlos Ponce de Leon Ferreira de Carvalho; International Conference on Computational Intelligence and Multimedia Applications (4. 2001 Yokusika)Proceedings Los Alamitos:IEEE Computer Society,2001Los Alamitos IEEE Computer Society 2001Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1205641 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Formalisations of uncertain reasoningFlávio Soares Corrêa da Silva International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems - IEA/AIE (12. 1999 Cairo)Proceedings Berlin : Springer, 1999Berlin Springer 1999Localização: IME - Inst. Matemática e Estatística (PROD-1087072 ) e outros locais(Acessar) |
|
8 |
Material Type: Relatório Técnico
|
Automated reasoning with uncertaintiesFlávio Soares Corrêa da SilvaSão Paulo IME-USP 1993Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo
|
Approximate and limited reasoning semantics, proof theory, expressivity and controlMarcelo Finger Renata WassermannJournal of Logics and Computation Oxford v. 12, n. 2, p. 179-204, 2004Oxford 2004Localização: IME - Inst. Matemática e Estatística (PROD-1396266 )(Acessar) |
|
10 |
Material Type: Artigo
|
Approximate and limited reasoning semantics, proof theory, expressivity and controlMarcelo Finger Renata WassermannJournal of Logics and Computation Oxford v. 12, n. 2, p. 179-204, 2004Oxford 2004Localização: IME - Inst. Matemática e Estatística (PROD-1396266 )(Acessar) |