ReP USP - Resultado da busca

Artigo de periodico
An improved argument for superconditionalization (2023)
Staffel, Julia; De Bona, Glauber
Source: Erkenntnis: an international journal of scientific philosophy. Unidade: EP
Subjects: APRENDIZAGEM, LÓGICA, EPISTEMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STAFFEL, Julia e DE BONA, Glauber. An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy, 2023Tradução . . Disponível em: https://doi.org/10.1007/s10670-023-00676-5. Acesso em: 14 nov. 2024.
APA
Staffel, J., & De Bona, G. (2023). An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy. doi:10.1007/s10670-023-00676-5
NLM
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Vancouver
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Dissertação (Mestrado)
A deep learning approach for aspect sentiment triplet extraction in portuguese and spanish (2022)
Meléndez Barros, José de Jesus; De Bona, Glauber (Orientador)
Unidade: EP
Subjects: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELÉNDEZ BARROS, José de Jesus. A deep learning approach for aspect sentiment triplet extraction in portuguese and spanish. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08062022-081940/. Acesso em: 14 nov. 2024.
APA
Meléndez Barros, J. de J. (2022). A deep learning approach for aspect sentiment triplet extraction in portuguese and spanish (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08062022-081940/
NLM
Meléndez Barros J de J. A deep learning approach for aspect sentiment triplet extraction in portuguese and spanish [Internet]. 2022 ;[citado 2024 nov. 14 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08062022-081940/
Vancouver
Meléndez Barros J de J. A deep learning approach for aspect sentiment triplet extraction in portuguese and spanish [Internet]. 2022 ;[citado 2024 nov. 14 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-08062022-081940/
Dissertação (Mestrado)
Jurisprudence search based on facts similarity using NLP and ML techniques (2021)
Ruiz, Rodrigo Amorim; De Bona, Glauber (Orientador)
Unidade: EP
Subjects: JURISPRUDÊNCIA, INTELIGÊNCIA ARTIFICIAL, LINGUAGEM NATURAL, REDES NEURAIS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RUIZ, Rodrigo Amorim. Jurisprudence search based on facts similarity using NLP and ML techniques. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14022022-122906/. Acesso em: 14 nov. 2024.
APA
Ruiz, R. A. (2021). Jurisprudence search based on facts similarity using NLP and ML techniques (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14022022-122906/
NLM
Ruiz RA. Jurisprudence search based on facts similarity using NLP and ML techniques [Internet]. 2021 ;[citado 2024 nov. 14 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14022022-122906/
Vancouver
Ruiz RA. Jurisprudence search based on facts similarity using NLP and ML techniques [Internet]. 2021 ;[citado 2024 nov. 14 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14022022-122906/
Artigo de periodico
Speeding up parameter and rule learning for acyclic probabilistic logic programs (2019)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur Colombini ; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, v. 106, p. 32-50, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.12.012. Acesso em: 14 nov. 2024.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2019). Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, 106, 32-50. doi:10.1016/j.ijar.2018.12.012
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 14 nov. 2024.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 nov. 14 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 nov. 14 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Trabalho de evento
Parameter learning in ProbLog with probabilistic rules (2017)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur C; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Symposium on Knowledge Discovery, Mining and Learning - KDMiLe. Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Parameter learning in ProbLog with probabilistic rules. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf. Acesso em: 14 nov. 2024.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2017). Parameter learning in ProbLog with probabilistic rules. In Proceedings. Porto Alegre: SBC. Recuperado de http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2024 nov. 14 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2024 nov. 14 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
Trabalho de evento-anais periodico
Algorithms for deciding counting quantifiers over unary predicates (2017)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidades: IME, EP
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 14 nov. 2024. , 2017
APA
Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
NLM
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 nov. 14 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Vancouver
Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 nov. 14 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Tese (Doutorado)
Measuring inconsistency in probabilistic knowledge bases (2016)
De Bona, Glauber ; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber. Measuring inconsistency in probabilistic knowledge bases. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006. Acesso em: 14 nov. 2024.
APA
De Bona, G. (2016). Measuring inconsistency in probabilistic knowledge bases (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
NLM
De Bona G. Measuring inconsistency in probabilistic knowledge bases [Internet]. 2016 ;[citado 2024 nov. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
Vancouver
De Bona G. Measuring inconsistency in probabilistic knowledge bases [Internet]. 2016 ;[citado 2024 nov. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
Trabalho de evento-anais periodico
Consolidating probabilistic knowledge bases via belief contraction (2016)
De Bona, Glauber ; Finger, Marcelo ; Ribeiro, Márcio Moretto; Santos, Yuri David; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016. Unidades: IME, EACH, EP
Subjects: LÓGICA MATEMÁTICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Disponível em: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469. Acesso em: 14 nov. 2024. , 2016
APA
De Bona, G., Finger, M., Ribeiro, M. M., Santos, Y. D., & Wassermann, R. (2016). Consolidating probabilistic knowledge bases via belief contraction. Proceedings. Menlo Park: AAAI Publications. Recuperado de https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
NLM
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 nov. 14 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Vancouver
De Bona G, Finger M, Ribeiro MM, Santos YD, Wassermann R. Consolidating probabilistic knowledge bases via belief contraction [Internet]. Proceedings. 2016 ;[citado 2024 nov. 14 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Trabalho de evento
Non-Markovian logic-probabilistic modeling and inference (2015)
Morais, Eduardo Menezes de; De Bona, Glauber ; Finger, Marcelo
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidades: EP, IME
Subjects: PROBABILIDADE, PROCESSOS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e DE BONA, Glauber e FINGER, Marcelo. Non-Markovian logic-probabilistic modeling and inference. 2015, Anais.. Palo Alto: AAAI Press, 2015. Disponível em: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf. Acesso em: 14 nov. 2024.
APA
Morais, E. M. de, De Bona, G., & Finger, M. (2015). Non-Markovian logic-probabilistic modeling and inference. In Proceedings. Palo Alto: AAAI Press. Recuperado de http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
NLM
Morais EM de, De Bona G, Finger M. Non-Markovian logic-probabilistic modeling and inference [Internet]. Proceedings. 2015 ;[citado 2024 nov. 14 ] Available from: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
Vancouver
Morais EM de, De Bona G, Finger M. Non-Markovian logic-probabilistic modeling and inference [Internet]. Proceedings. 2015 ;[citado 2024 nov. 14 ] Available from: http://www.iiia.csic.es/wl4ai/files/wl4ai-2015-working-notes.pdf
Artigo de periodico
Generalized probabilistic satisfiability through integer programming (2015)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidades: EP, IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 14 nov. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 nov. 14 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 nov. 14 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Artigo de periodico
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (2015)
De Bona, Glauber ; Finger, Marcelo
Source: Artificial Intelligence. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, v. 227, p. 140-164, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.06.006. Acesso em: 14 nov. 2024.
APA
De Bona, G., & Finger, M. (2015). Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, 227, 140-164. doi:10.1016/j.artint.2015.06.006
NLM
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Vancouver
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Artigo de periodico
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)
Finger, Marcelo ; De Bona, Glauber
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, v. 75, n. 3-4, p. 351-389, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10472-015-9466-6. Acesso em: 14 nov. 2024.
APA
Finger, M., & De Bona, G. (2015). Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, 75( 3-4), 351-389. doi:10.1007/s10472-015-9466-6
NLM
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Artigo de periodico
Towards classifying propositional probabilistic logics (2014)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of Applied Logic. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, n. 3, p. 349-368, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2014.01.005. Acesso em: 14 nov. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2014). Towards classifying propositional probabilistic logics. Journal of Applied Logic, 12( 3), 349-368. doi:10.1016/j.jal.2014.01.005
NLM
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Vancouver
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 nov. 14 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Relatorio tecnico
Notes on measuring inconsistency in probabilistic logic (2014)
De Bona, Glauber ; Finger, Marcelo
Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 14 nov. 2024. , 2014
APA
De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
NLM
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 nov. 14 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Vancouver
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 nov. 14 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Trabalho de evento
Generalized probabilistic satisfiability (2013)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME
Assunto: LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 14 nov. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
Trabalho de evento
Satisfazibilidade Probabilística (2012)
De Bona, Glauber ; Finger, Marcelo
Source: proceedings. Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems. Unidades: EP, IME
Assunto: PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Satisfazibilidade Probabilística. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 14 nov. 2024.
APA
De Bona, G., & Finger, M. (2012). Satisfazibilidade Probabilística. In proceedings. Porto Alegre: SBC.
NLM
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 nov. 14 ]
Vancouver
De Bona G, Finger M. Satisfazibilidade Probabilística. proceedings. 2012 ;[citado 2024 nov. 14 ]
Dissertação (Mestrado)
Satisfazibilidade probabilística (2011)
De Bona, Glauber ; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber. Satisfazibilidade probabilística. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639. Acesso em: 14 nov. 2024.
APA
De Bona, G. (2011). Satisfazibilidade probabilística (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639
NLM
De Bona G. Satisfazibilidade probabilística [Internet]. 2011 ;[citado 2024 nov. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639
Vancouver
De Bona G. Satisfazibilidade probabilística [Internet]. 2011 ;[citado 2024 nov. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639
Trabalho de evento
Probabilistic satisfiability: logic-based algorithms and phase transition (2011)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: logic-based algorithms and phase transition. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://doi.org/10.5555/2283396.2283483. Acesso em: 14 nov. 2024.
APA
Finger, M., & De Bona, G. (2011). Probabilistic satisfiability: logic-based algorithms and phase transition. In Proceedings. Palo Alto: AAAI Press. doi:10.5555/2283396.2283483
NLM
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.5555/2283396.2283483
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.5555/2283396.2283483
Trabalho de evento
A logic based algorithm for solving probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA FORMAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. A logic based algorithm for solving probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_46. Acesso em: 14 nov. 2024.
APA
Finger, M., & De Bona, G. (2010). A logic based algorithm for solving probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_46
NLM
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Vancouver
Finger M, De Bona G. A logic based algorithm for solving probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2024 nov. 14 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Funding Agencies