1
|
Material Type: Artigo de Congresso
|
|
Towards polynomial approximations of full propositional logic
Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1412242 ) e outros locais(Acessar)
|
2
|
Material Type: Artigo de Congresso
|
|
Using relevance to speed up inference some empirical results
Joselyto Riani Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1412238 ) e outros locais(Acessar)
|
3
|
Material Type: Artigo de Congresso
|
|
Paraconsistent sensitivity analysis for Bayesian significance tests
Julio Michael Stern 1958- Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1474278 ) e outros locais(Acessar)
|
4
|
Material Type: Artigo de Congresso
|
|
Planning with abduction a logical framework to explore extensions to classical planning
Silvio do Lago Pereira Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-3037424 )(Acessar)
|
5
|
Material Type: Artigo de Congresso
|
|
Using concept hierarchies in knowledge discovery
Marco Eugênio Madeira Di Beneditto Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-3037430 )(Acessar)
|
6
|
Material Type: Artigo de Congresso
|
|
High-level robot programming an abductive approach using event calculus
Silvio do Lago Pereira Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)
Proceedings Berlin : Springer, 2004
Berlin Springer 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-3037426 )(Acessar)
|