Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
ThePrologPlay an introductive virtual environment for artificial intelligence and related fieldsFlávio Soares Corrêa da SilvaSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.10 ) e outros locais(Acessar) |
|
2 |
Material Type: Relatório Técnico
|
Where am I? Where are you?Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2005Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 2005 v.03 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Dissertação de Mestrado
|
Programação em lógica anotada: teoria e aplicaçõesCarbogim, Daniela VasconcelosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1996-11-22Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Relatório Técnico
|
Governamental virtual institutionsClaudia J. Abro de Arajo Flávio Soares Corrêa da SilvaSão Paulo IME-USP 2009Localização: IME - Inst. Matemática e Estatística (RT-MAC 2009 v.3 ) e outros locais(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Making of an intelligent tutoring system (or methodological issues of artificial intelligence research by exemple)Flávio Soares Corrêa da Silva Yara Maria MichelacciSão Paulo IME-USP 1997Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1997 v.10 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Dissertação de Mestrado
|
Um modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimentoMeneses, Eudenia XavierBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-07-01Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo
|
Towards a logic of perishable propositionsFlávio Soares Corrêa da SilvaApplied Intelligence New York v. 23, n. 2, p. 121-130, 2005New York 2005Localização: IME - Inst. Matemática e Estatística (PROD-1465763 )(Acessar) |
|
8 |
Material Type: Artigo
|
Knowledge-based interaction protocols for intelligent interactive environmentsFlávio Soares Corrêa da SilvaKnowledge and Information Systems London v. 34, n. 1, p. 219-242, 2013London 2013Localização: IME - Inst. Matemática e Estatística (PROD-2400080 )(Acessar) |
|
9 |
Material Type: Artigo
|
On proof-and model-based techniques for reasoning with uncertaintyFlávio Soares Corrêa da SilvaInternational Journal of Intelligent Systems Hoboken v. 10, n. 6, p. 561-570, 1995Hoboken 1995Localização: IME - Inst. Matemática e Estatística (PROD-3000615 )(Acessar) |
|
10 |
Material Type: Livro
|
Knowledge coordinationFlávio Soares Corrêa da Silva Jaume Agustí CullellChichester Wiley c2003Localização: IME - Inst. Matemática e Estatística (QA860 S586k ) e outros locais(Acessar) |