Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Model update for automated planningMaria Viviane de Menezes Leliane Nunes de Barros; AAAI Conference on Artificial Intelligence, 25 (25. 2011 San Francisco)Proceedings Menlo Park: AAAI, 2011Menlo Park AAAI 2011Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
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) |
|
3 |
Material Type: Relatório Técnico
|
Paraconsistent logics artificial intelligence and roboticsJair Minoro Abe Flávio Soares Corrêa da Silva; Márcio Rillo 1953-2010São Paulo IME-USP 1994Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.12 e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Remarks on reasoning with progressively obsolete informationFlávio Soares Corrêa da Silva Sirley Ambrosia Vitorio; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)Proceedings New York : ACM, 2000New York ACM 2000Localização: IME - Inst. Matemática e Estatística (PROD-1412417 ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Um simulador didático de computador HIPOAlexandre Rodrigues Roberto Hirata Júnior; Valdemar Waingort Setzer 1940-; Colóquio de Iniciação Científica (4. 1989 São Paulo)Atas São Paulo : IME-USP, 1989Sao Paulo IME-USP 1989Localização: IME - Inst. Matemática e Estatística (PROD-846010 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Técnicas de otimização da precisão empregadas no etiquetador Tycho BraheMarcelo Finger Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (5. 2000 Atibaia)Anais São Carlos : ICMC/USP, 2000São Carlos ICMC/USP 2000Localização: IME - Inst. Matemática e Estatística (PROD-1208481 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Abductive expansion of belief basesWagner Fernandes Dias 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-1253524 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Full acceptance via argumentationDaniela Vasconcelos Carbogim Renata Wassermann; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)Proceedings New York : ACM, 2000New York ACM 2000Localização: IME - Inst. Matemática e Estatística (PROD-1412421 ) e outros locais(Acessar) |
|
9 |
Material Type: Relatório Técnico
|
Planejamento baseado em processos de decisão MarkovianosSilvio do Lago Pereira Leliane Nunes de BarrosSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.4 ) e outros locais(Acessar) |
|
10 |
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) |