ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
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 PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 19 abr. 2024. , 2020
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Trabalho de evento-anais periodico
An efficient algorithm for representing piecewise linear functions into logic (2020)
Preto, Sandro ; Finger, Marcelo
Source: Electronic Notes in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020. Unidade: IME
Subjects: LÓGICA FORMAL, SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2020.08.009. Acesso em: 19 abr. 2024. , 2020
APA
Preto, S., & Finger, M. (2020). An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2020.08.009
NLM
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
Vancouver
Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
Trabalho de evento
A logical-based corpus for cross-lingual evaluation (2019)
Salvatore, Felipe de Souza; Finger, Marcelo ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: Workshop on Deep Learning Approaches for Low-Resource NLP - DeepLo. Unidade: IME
Assunto: APRENDIZAGEM PROFUNDA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza e FINGER, Marcelo e HIRATA JÚNIOR, Roberto. A logical-based corpus for cross-lingual evaluation. 2019, Anais.. Stroudsburg: Association for Computational Linguistics (ACL), 2019. Disponível em: https://www.aclweb.org/anthology/D19-6103.pdf. Acesso em: 19 abr. 2024.
APA
Salvatore, F. de S., Finger, M., & Hirata Júnior, R. (2019). A logical-based corpus for cross-lingual evaluation. In Proceedings. Stroudsburg: Association for Computational Linguistics (ACL). Recuperado de https://www.aclweb.org/anthology/D19-6103.pdf
NLM
Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2024 abr. 19 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf
Vancouver
Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2024 abr. 19 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 19 abr. 2024.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Trabalho de evento-resumo
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento
Using neural models to perform inference (2019)
Salvatore, Felipe de Souza; Preto, Sandro ; Finger, Marcelo ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy. Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 19 abr. 2024.
APA
Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
NLM
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 19 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Vancouver
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 19 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Trabalho de evento-resumo
Representing rational McNaughton functions via MODSAT relativisation (2019)
Preto, Sandro ; Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Representing rational McNaughton functions via MODSAT relativisation. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 19 abr. 2024.
APA
Preto, S., & Finger, M. (2019). Representing rational McNaughton functions via MODSAT relativisation. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 19 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Trabalho de evento
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
Finger, Marcelo ; Preto, Sandro
Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
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 PRETO, Sandro. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 19 abr. 2024.
APA
Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14
NLM
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Vancouver
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Parte de monografia/livro
Quantitative logic reasoning (2018)
Finger, Marcelo
Source: Contradictions, from consistency to inconsistency. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO DEDUTIVO E INDUTIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Quantitative logic reasoning. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_12. Acesso em: 19 abr. 2024.
APA
Finger, M. (2018). Quantitative logic reasoning. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_12
NLM
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Vancouver
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Monografia/livro-ed/org
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (2017)
Dixon, Clare (Editor); Finger, Marcelo (Editor)
Conference titles: International Symposium - FroCoS 2017. Unidade: IME
Subjects: CIÊNCIA DA COMPUTAÇÃO, ENGENHARIA DE SOFTWARE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. . Cham: Springer International Publishing. Disponível em: https://doi.org/10.1007/978-3-319-66167-4. Acesso em: 19 abr. 2024. , 2017
APA
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017). Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. doi:10.1007/978-3-319-66167-4
NLM
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-66167-4
Vancouver
Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/978-3-319-66167-4
Trabalho de evento
Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach (2017)
Luz, Fabiano Ferreira; Finger, Marcelo
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Assunto: WEB SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUZ, Fabiano Ferreira e FINGER, Marcelo. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf. Acesso em: 19 abr. 2024.
APA
Luz, F. F., & Finger, M. (2017). Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach. In Anais. Porto Alegre: SBC. Recuperado de https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf
NLM
Luz FF, Finger M. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach [Internet]. Anais. 2017 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf
Vancouver
Luz FF, Finger M. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach [Internet]. Anais. 2017 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf
Trabalho de evento-resumo
Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores (2017)
Finger, Marcelo
Source: Caderno de resumos / Abstracts. Conference titles: International Brazilian Meeting on Cognitive Science - EBICC. 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. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. 2017, Anais.. São Paulo: SBCC, 2017. Disponível em: http://ebicc.sbcc.org.br/. Acesso em: 19 abr. 2024.
APA
Finger, M. (2017). Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. In Caderno de resumos / Abstracts. São Paulo: SBCC. Recuperado de http://ebicc.sbcc.org.br/
NLM
Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 abr. 19 ] Available from: http://ebicc.sbcc.org.br/
Vancouver
Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 abr. 19 ] Available from: http://ebicc.sbcc.org.br/
Artigo de periodico
Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese (2017)
Oleynik, Michel; Patrão, Diogo F. C; Finger, Marcelo
Source: Studies in Health Technology and Informatics. Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLEYNIK, Michel e PATRÃO, Diogo F. C e FINGER, Marcelo. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese. Studies in Health Technology and Informatics, v. 235, p. 256-260, 2017Tradução . . Disponível em: https://doi.org/10.3233/978-1-61499-753-5-256. Acesso em: 19 abr. 2024.
APA
Oleynik, M., Patrão, D. F. C., & Finger, M. (2017). Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese. Studies in Health Technology and Informatics, 235, 256-260. doi:10.3233/978-1-61499-753-5-256
NLM
Oleynik M, Patrão DFC, Finger M. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese [Internet]. Studies in Health Technology and Informatics. 2017 ; 235 256-260.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3233/978-1-61499-753-5-256
Vancouver
Oleynik M, Patrão DFC, Finger M. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese [Internet]. Studies in Health Technology and Informatics. 2017 ; 235 256-260.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3233/978-1-61499-753-5-256
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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Parte de monografia/livro-apres/pref/posf
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio] (2017)
Dixon, Clare (Prefácio); Finger, Marcelo (Prefácio)
Source: Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Unidade: IME
Subjects: CIÊNCIA DA COMPUTAÇÃO, ENGENHARIA DE SOFTWARE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Disponível em: http://www.springer.com/us/book/9783319661667. Acesso em: 19 abr. 2024. , 2017
APA
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. (2017). The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. Recuperado de http://www.springer.com/us/book/9783319661667
NLM
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.springer.com/us/book/9783319661667
Vancouver
The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília.. [Prefácio] [Internet]. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.springer.com/us/book/9783319661667
Artigo de periodico-carta/editorial
Advances in weighted logics for artificial intelligence. [Editorial] (2017)
Finger, Marcelo ; Godo, Lluis ; Prade, Henri ; Qi, Guilin
Source: International Journal of Approximate Reasoning. 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 et al. Advances in weighted logics for artificial intelligence. [Editorial]. International Journal of Approximate Reasoning. Philadelphia: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.ijar.2017.06.014. Acesso em: 19 abr. 2024. , 2017
APA
Finger, M., Godo, L., Prade, H., & Qi, G. (2017). Advances in weighted logics for artificial intelligence. [Editorial]. International Journal of Approximate Reasoning. Philadelphia: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.ijar.2017.06.014
NLM
Finger M, Godo L, Prade H, Qi G. Advances in weighted logics for artificial intelligence. [Editorial] [Internet]. International Journal of Approximate Reasoning. 2017 ; 88 385-386.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2017.06.014
Vancouver
Finger M, Godo L, Prade H, Qi G. Advances in weighted logics for artificial intelligence. [Editorial] [Internet]. International Journal of Approximate Reasoning. 2017 ; 88 385-386.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.ijar.2017.06.014
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: 19 abr. 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 abr. 19 ] 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 abr. 19 ] Available from: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12840/12469
Trabalho de evento
Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação (2016)
Serras, Felipe Ribas; Finger, Marcelo
Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME
Assunto: ALGORITMOS PARA PROCESSAMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas e FINGER, Marcelo. Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação. 2016, Anais.. Porto Alegre: SBC, 2016. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2016/042.pdf. Acesso em: 19 abr. 2024.
APA
Serras, F. R., & Finger, M. (2016). Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2016/042.pdf
NLM
Serras FR, Finger M. Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação [Internet]. Anais. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2016/042.pdf
Vancouver
Serras FR, Finger M. Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação [Internet]. Anais. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2016/042.pdf
Artigo de jornal
O desafio do WhatsApp ao Leviatã (2016)
Ferraz Júnior, Tércio Sampaio; Maranhão, Juliano de Souza Albuquerque; Finger, Marcelo
Source: Folha de S. Paulo. Unidades: FD, IME
Subjects: REDES DE COMPUTADORES, INTERNET, MENSAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRAZ JÚNIOR, Tércio Sampaio e MARANHÃO, Juliano de Souza Albuquerque e FINGER, Marcelo. O desafio do WhatsApp ao Leviatã. Tradução . Folha de S. Paulo, São Paulo, 2016. , p. A 3. Acesso em: 19 abr. 2024.
APA
Ferraz Júnior, T. S., Maranhão, J. de S. A., & Finger, M. (2016). O desafio do WhatsApp ao Leviatã. Folha de S. Paulo, p. A 3. São Paulo: Faculdade de Direito, Universidade de São Paulo.
NLM
Ferraz Júnior TS, Maranhão J de SA, Finger M. O desafio do WhatsApp ao Leviatã. Folha de S. Paulo. 2016 ; A 3.[citado 2024 abr. 19 ]
Vancouver
Ferraz Júnior TS, Maranhão J de SA, Finger M. O desafio do WhatsApp ao Leviatã. Folha de S. Paulo. 2016 ; A 3.[citado 2024 abr. 19 ]

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration