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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
Subjects: 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 nov. 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 nov. 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 nov. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Trabalho de evento
System design modification with actions (2010)
Menezes, Maria Viviane de; Pareira, Silvio do L; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: 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
MENEZES, Maria Viviane de e PAREIRA, Silvio do L e BARROS, Leliane Nunes de. System design modification with actions. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_4. Acesso em: 05 nov. 2024.
APA
Menezes, M. V. de, Pareira, S. do L., & Barros, L. N. de. (2010). System design modification with actions. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_4
NLM
Menezes MV de, Pareira S do L, Barros LN de. System design modification with actions [Internet]. Proceedings. 2010 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_4
Vancouver
Menezes MV de, Pareira S do L, Barros LN de. System design modification with actions [Internet]. Proceedings. 2010 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_4
Trabalho de evento
Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 05 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Trabalho de evento
Avaliando a geração de termos a partir de coleções textuais (2008)
Conrado, Merley da Silva; Rezende, Solange Oliveira
Source: Workshops. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONRADO, Merley da Silva e REZENDE, Solange Oliveira. Avaliando a geração de termos a partir de coleções textuais. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Conrado, M. da S., & Rezende, S. O. (2008). Avaliando a geração de termos a partir de coleções textuais. In Workshops. Porto Alegre: SBC.
NLM
Conrado M da S, Rezende SO. Avaliando a geração de termos a partir de coleções textuais. Workshops. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Conrado M da S, Rezende SO. Avaliando a geração de termos a partir de coleções textuais. Workshops. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento
Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos (2008)
Prati, Ronaldo Cristiano; Monard, Maria Carolina
Source: Anais. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRATI, Ronaldo Cristiano e MONARD, Maria Carolina. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Prati, R. C., & Monard, M. C. (2008). Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. In Anais. Porto Alegre: SBC.
NLM
Prati RC, Monard MC. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. Anais. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Prati RC, Monard MC. Novas abordagens em aprendizado de máquina para a geração de regras, classes desbalanceadas e ordenação de casos. Anais. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento-resumo periodico
An experiment in spanish-portuguese statistical machine translation (2008)
Aziz, Wilker Ferreira; Pardo, Thiago Alexandre Salgueiro ; Paraboni, Ivandré
Source: Lecture Notes in Computer Science. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: ICMC, EACH
Subjects: INTELIGÊNCIA ARTIFICIAL, LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AZIZ, Wilker Ferreira e PARDO, Thiago Alexandre Salgueiro e PARABONI, Ivandré. An experiment in spanish-portuguese statistical machine translation. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Disponível em: http://www.springerlink.com/content/?k=%22an+experiment+in+spanish-portuguese+statistical+machine+translation%22. Acesso em: 05 nov. 2024. , 2008
APA
Aziz, W. F., Pardo, T. A. S., & Paraboni, I. (2008). An experiment in spanish-portuguese statistical machine translation. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag. Recuperado de http://www.springerlink.com/content/?k=%22an+experiment+in+spanish-portuguese+statistical+machine+translation%22
NLM
Aziz WF, Pardo TAS, Paraboni I. An experiment in spanish-portuguese statistical machine translation [Internet]. Lecture Notes in Computer Science. 2008 ; 5249 248-257.[citado 2024 nov. 05 ] Available from: http://www.springerlink.com/content/?k=%22an+experiment+in+spanish-portuguese+statistical+machine+translation%22
Vancouver
Aziz WF, Pardo TAS, Paraboni I. An experiment in spanish-portuguese statistical machine translation [Internet]. Lecture Notes in Computer Science. 2008 ; 5249 248-257.[citado 2024 nov. 05 ] Available from: http://www.springerlink.com/content/?k=%22an+experiment+in+spanish-portuguese+statistical+machine+translation%22
Trabalho de evento
Generalização de regras de associação utilizando conhecimento de domínio e avaliação do conhecimento generalizado (2008)
Carvalho, Veronica Oliveira de; Rezende, Solange Oliveira
Source: Workshops. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Veronica Oliveira de e REZENDE, Solange Oliveira. Generalização de regras de associação utilizando conhecimento de domínio e avaliação do conhecimento generalizado. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Carvalho, V. O. de, & Rezende, S. O. (2008). Generalização de regras de associação utilizando conhecimento de domínio e avaliação do conhecimento generalizado. In Workshops. Porto Alegre: SBC.
NLM
Carvalho VO de, Rezende SO. Generalização de regras de associação utilizando conhecimento de domínio e avaliação do conhecimento generalizado. Workshops. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Carvalho VO de, Rezende SO. Generalização de regras de associação utilizando conhecimento de domínio e avaliação do conhecimento generalizado. Workshops. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento
Melhorias do algoritmo de Stemming do porter para o português (2008)
Soares, Matheus Victor Brum; Prati, Ronaldo Cristiano; Monard, Maria Carolina
Source: Anais. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOARES, Matheus Victor Brum e PRATI, Ronaldo Cristiano e MONARD, Maria Carolina. Melhorias do algoritmo de Stemming do porter para o português. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Soares, M. V. B., Prati, R. C., & Monard, M. C. (2008). Melhorias do algoritmo de Stemming do porter para o português. In Anais. Porto Alegre: SBC.
NLM
Soares MVB, Prati RC, Monard MC. Melhorias do algoritmo de Stemming do porter para o português. Anais. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Soares MVB, Prati RC, Monard MC. Melhorias do algoritmo de Stemming do porter para o português. Anais. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento
CSTTool: um parser multidocumento automático para o Portugês do Brasil (2008)
Aleixo, Priscila; Pardo, Thiago Alexandre Salgueiro
Source: Workshops. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALEIXO, Priscila e PARDO, Thiago Alexandre Salgueiro. CSTTool: um parser multidocumento automático para o Portugês do Brasil. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Aleixo, P., & Pardo, T. A. S. (2008). CSTTool: um parser multidocumento automático para o Portugês do Brasil. In Workshops. Porto Alegre: SBC.
NLM
Aleixo P, Pardo TAS. CSTTool: um parser multidocumento automático para o Portugês do Brasil. Workshops. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Aleixo P, Pardo TAS. CSTTool: um parser multidocumento automático para o Portugês do Brasil. Workshops. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento
Uma abordagem para incrementar o potencial de avaliação de regras de associação generalizadas (2008)
Fujimoto, Magaly Lika; Rezende, Solange Oliveira
Source: Workshops. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FUJIMOTO, Magaly Lika e REZENDE, Solange Oliveira. Uma abordagem para incrementar o potencial de avaliação de regras de associação generalizadas. 2008, Anais.. Porto Alegre: SBC, 2008. . Acesso em: 05 nov. 2024.
APA
Fujimoto, M. L., & Rezende, S. O. (2008). Uma abordagem para incrementar o potencial de avaliação de regras de associação generalizadas. In Workshops. Porto Alegre: SBC.
NLM
Fujimoto ML, Rezende SO. Uma abordagem para incrementar o potencial de avaliação de regras de associação generalizadas. Workshops. 2008 ;[citado 2024 nov. 05 ]
Vancouver
Fujimoto ML, Rezende SO. Uma abordagem para incrementar o potencial de avaliação de regras de associação generalizadas. Workshops. 2008 ;[citado 2024 nov. 05 ]
Trabalho de evento
Paraconsistent sensitivity analysis for Bayesian significance tests (2004)
Stern, Julio Michael
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 nov. 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 nov. 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 nov. 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
Source: Proceedings. Conference titles: 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 nov. 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 nov. 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 nov. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_3

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Non normalized affiliation