Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Relatório Técnico
|
Formalizing planning algorithms for temporally extended goalsSilvio do Lago Pereira Leliane Nunes de BarrosSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.9 ) e outros locais(Acessar) |
|
2 |
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) |
|
3 |
Material Type: Relatório Técnico
|
Diagramas de decisão bináriaSilvio do Lago Pereira Leliane Nunes de BarrosSão Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.5 ) e outros locais(Acessar) |
|
4 |
Material Type: Tese de Doutorado
|
Planejamento sob incerteza para metas de alcançabilidade estendidasPereira, Silvio Do LagoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-11-05Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Planejamento abdutivo no cálculo de eventosPereira, Silvio Do LagoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-05-28Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Relatório Técnico
|
Strong probabilistic planningSilvio do Lago Pereira Leliane Nunes de Barros; Fabio Gagliardi Cozman 1967-São Paulo IME-USP 2007Localização: IME - Inst. Matemática e Estatística (RT-MAC 2007 v.8 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo
|
A planner agent that tries its best in presence of nondeterminismSilvio do Lago Pereira Leliane Nunes de BarrosJournal of Applied Logic Amsterdam v. 10, n 4, p. 419-430, 2012Amsterdam 2012Localização: IME - Inst. Matemática e Estatística (PROD-2390162 )(Acessar) |
|
8 |
Material Type: Artigo
|
Symbolic Regression for Non-Deterministic ActionsMaria Viviane de Menezes Leliane Nunes de Barros; Silvio do Lago PereiraLearning and NonLinear Models [S. l.] v. 12, n. 2, p. 98-114, 2014S. l. 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
Using α-ctl to specify complex planning goalsSilvio do Lago Pereira Leliane Nunes de Barros; International Workshop on Logic, Language, Information, and Computation - WoLLIC (15. 2008 Edinburgh)Proceedings Berlin : Springer, 2008Berlin Springer 2008Localização: IME - Inst. Matemática e Estatística (PROD-3035989 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Planning with abduction a logical framework to explore extensions to classical planningSilvio do Lago Pereira Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)Proceedings Berlin : Springer, 2004Berlin Springer 2004Localização: IME - Inst. Matemática e Estatística (PROD-3037424 )(Acessar) |