ReP USP - Resultado da busca

Trabalho de evento
A framework for empirical evaluation of belief change operators (2012)
Lundberg, Renato U; Ribeiro, Márcio Moretto; Wassermann, Renata
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUNDBERG, Renato U e RIBEIRO, Márcio Moretto e WASSERMANN, Renata. A framework for empirical evaluation of belief change operators. 2012, Anais.. Berlin: Springer, 2012. Disponível em: https://doi.org/10.1007/978-3-642-34459-6_2. Acesso em: 05 set. 2024.
APA
Lundberg, R. U., Ribeiro, M. M., & Wassermann, R. (2012). A framework for empirical evaluation of belief change operators. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-34459-6_2
NLM
Lundberg RU, Ribeiro MM, Wassermann R. A framework for empirical evaluation of belief change operators [Internet]. Proceedings. 2012 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-34459-6_2
Vancouver
Lundberg RU, Ribeiro MM, Wassermann R. A framework for empirical evaluation of belief change operators [Internet]. Proceedings. 2012 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-34459-6_2
Trabalho de evento
Symbolic bounded real-time dynamic programming (2010)
Delgado, Karina Valdívia; Fang, cheng; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: EACH, IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGADO, Karina Valdívia e FANG, cheng e BARROS, Leliane Nunes de. Symbolic bounded real-time dynamic programming. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_20. Acesso em: 05 set. 2024.
APA
Delgado, K. V., Fang, cheng, & Barros, L. N. de. (2010). Symbolic bounded real-time dynamic programming. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_20
NLM
Delgado KV, Fang cheng, Barros LN de. Symbolic bounded real-time dynamic programming [Internet]. Proceedings. 2010 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_20
Vancouver
Delgado KV, Fang cheng, Barros LN de. Symbolic bounded real-time dynamic programming [Internet]. Proceedings. 2010 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_20
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Assuntos: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 05 set. 2024.
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Trabalho de evento
Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo ; Wassermann, Renata
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 05 set. 2024.
APA
Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21
NLM
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Vancouver
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Trabalho de evento
Paraconsistent sensitivity analysis for Bayesian significance tests (2004)
Stern, Julio Michael
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: TESTES DE HIPÓTESES, SISTEMAS LÓGICOS NÃO CLÁSSICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Paraconsistent sensitivity analysis for Bayesian significance tests. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_14. Acesso em: 05 set. 2024.
APA
Stern, J. M. (2004). Paraconsistent sensitivity analysis for Bayesian significance tests. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_14
NLM
Stern JM. Paraconsistent sensitivity analysis for Bayesian significance tests [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_14
Vancouver
Stern JM. Paraconsistent sensitivity analysis for Bayesian significance tests [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_14
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 05 set. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planning with abduction: a logical framework to explore extensions to classical planning. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_7. Acesso em: 05 set. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). Planning with abduction: a logical framework to explore extensions to classical planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_7
NLM
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Vancouver
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Trabalho de evento
Using relevance to speed up inference: some empirical results (2004)
Riani, Joselyto; Wassermann, Renata
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIANI, Joselyto e WASSERMANN, Renata. Using relevance to speed up inference: some empirical results. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_3. Acesso em: 05 set. 2024.
APA
Riani, J., & Wassermann, R. (2004). Using relevance to speed up inference: some empirical results. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_3
NLM
Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
Vancouver
Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
Trabalho de evento
Using concept hierarchies in knowledge discovery (2004)
Di Beneditto, Marco Eugênio Madeira; Barros, Leliane Nunes de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: DESCOBERTA DE CONHECIMENTO, MINERAÇÃO DE DADOS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DI BENEDITTO, Marco Eugênio Madeira e BARROS, Leliane Nunes de. Using concept hierarchies in knowledge discovery. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_26. Acesso em: 05 set. 2024.
APA
Di Beneditto, M. E. M., & Barros, L. N. de. (2004). Using concept hierarchies in knowledge discovery. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_26
NLM
Di Beneditto MEM, Barros LN de. Using concept hierarchies in knowledge discovery [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_26
Vancouver
Di Beneditto MEM, Barros LN de. Using concept hierarchies in knowledge discovery [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_26
Trabalho de evento
Towards polynomial approximations of full propositional logic (2004)
Finger, Marcelo
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 05 set. 2024.
APA
Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2
NLM
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Vancouver
Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2
Trabalho de evento
Attacking the complexity of prioritized inference preliminary report (2002)
Wassermann, Renata ; Chopra, Samir
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata e CHOPRA, Samir. Attacking the complexity of prioritized inference preliminary report. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_4. Acesso em: 05 set. 2024.
APA
Wassermann, R., & Chopra, S. (2002). Attacking the complexity of prioritized inference preliminary report. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_4
NLM
Wassermann R, Chopra S. Attacking the complexity of prioritized inference preliminary report [Internet]. Proceedings. 2002 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_4
Vancouver
Wassermann R, Chopra S. Attacking the complexity of prioritized inference preliminary report [Internet]. Proceedings. 2002 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_4
Trabalho de evento
Logics for approximate reasoning: approximating classical logic “from above” (2002)
Finger, Marcelo ; Wassermann, Renata
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Logics for approximate reasoning: approximating classical logic “from above”. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_3. Acesso em: 05 set. 2024.
APA
Finger, M., & Wassermann, R. (2002). Logics for approximate reasoning: approximating classical logic “from above”. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_3
NLM
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_3
Vancouver
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 set. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_3

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos