1
|
Material Type: Relatório Técnico
|
|
An algebraic view of combination rules
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.01 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
Arguments in favor of a controlled plurality of office formating standards
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.7 ) e outros locais(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
ThePrologPlay an introductive virtual environment for artificial intelligence and related fields
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2007
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2007 v.10 ) e outros locais(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Reasoning with local and global inconsistencies
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1995
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1995 v.09 e.1 ) e outros locais(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
On the relations between incidence calculus and fagin-halpernstructures
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.04 e.1 ) e outros locais(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
On proof-and model-based techniques for reasoning with uncertainty
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.03 e.1 ) e outros locais(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Automated reasoning with uncertainties
Flávio Soares Corrêa da Silva
São Paulo IME-USP 1993
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Where am I? Where are you?
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2005
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2005 v.03 e.1 ) e outros locais(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
Towards a logic of perishable propositions
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2001
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
Jam session - knowledge-based interaction protocols for intelligent interactive environments
Flávio Soares Corrêa da Silva
São Paulo IME-USP 2010
Localização:
IME - Inst. Matemática e Estatística
(RT-MAC 2010 v. 2 ) e outros locais(Acessar)
|