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: 10 set. 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 set. 10 ] 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 set. 10 ] 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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
Tese (Doutorado)
Deep neural semantic parsing: translating from natural language into SPARQL (2019)
Luz, Fabiano Ferreira; Finger, Marcelo (Orientador)
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
LUZ, Fabiano Ferreira. Deep neural semantic parsing: translating from natural language into SPARQL. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/. Acesso em: 10 set. 2024.
APA
Luz, F. F. (2019). Deep neural semantic parsing: translating from natural language into SPARQL (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
NLM
Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
Vancouver
Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
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: 10 set. 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 set. 10 ] 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 set. 10 ] 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: 10 set. 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 set. 10 ] 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 set. 10 ] 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: 10 set. 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 set. 10 ] 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 set. 10 ] 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: 10 set. 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 set. 10 ] 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 set. 10 ] 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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Dissertação (Mestrado)
Deep active learning using Monte Carlo Dropout (2018)
Moura, Lucas Albuquerque Medeiros de; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: CIENCIA DA COMPUTACAO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOURA, Lucas Albuquerque Medeiros de. Deep active learning using Monte Carlo Dropout. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/. Acesso em: 10 set. 2024.
APA
Moura, L. A. M. de. (2018). Deep active learning using Monte Carlo Dropout (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/
NLM
Moura LAM de. Deep active learning using Monte Carlo Dropout [Internet]. 2018 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/
Vancouver
Moura LAM de. Deep active learning using Monte Carlo Dropout [Internet]. 2018 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/
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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113
Artigo de periodico
On the predictability of classical propositional logic (2013)
Finger, Marcelo ; Reis, Poliana Magalhães
Source: Information. Unidade: IME
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 REIS, Poliana Magalhães. On the predictability of classical propositional logic. Information, v. 4, n. 1, p. 60-74, 2013Tradução . . Disponível em: https://doi.org/10.3390/info4010060. Acesso em: 10 set. 2024.
APA
Finger, M., & Reis, P. M. (2013). On the predictability of classical propositional logic. Information, 4( 1), 60-74. doi:10.3390/info4010060
NLM
Finger M, Reis PM. On the predictability of classical propositional logic [Internet]. Information. 2013 ; 4( 1): 60-74.[citado 2024 set. 10 ] Available from: https://doi.org/10.3390/info4010060
Vancouver
Finger M, Reis PM. On the predictability of classical propositional logic [Internet]. Information. 2013 ; 4( 1): 60-74.[citado 2024 set. 10 ] Available from: https://doi.org/10.3390/info4010060
Dissertação (Mestrado)
Extração de informações de narrativas clínicas (2013)
Oleynik, Michel; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLEYNIK, Michel. Extração de informações de narrativas clínicas. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051. Acesso em: 10 set. 2024.
APA
Oleynik, M. (2013). Extração de informações de narrativas clínicas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051
NLM
Oleynik M. Extração de informações de narrativas clínicas [Internet]. 2013 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051
Vancouver
Oleynik M. Extração de informações de narrativas clínicas [Internet]. 2013 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051
Dissertação (Mestrado)
Aprimorando o corretor gramatical CoGrOO (2013)
Silva, William Daniel Colen de Moura; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, William Daniel Colen de Moura. Aprimorando o corretor gramatical CoGrOO. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414. Acesso em: 10 set. 2024.
APA
Silva, W. D. C. de M. (2013). Aprimorando o corretor gramatical CoGrOO (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414
NLM
Silva WDC de M. Aprimorando o corretor gramatical CoGrOO [Internet]. 2013 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414
Vancouver
Silva WDC de M. Aprimorando o corretor gramatical CoGrOO [Internet]. 2013 ;[citado 2024 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414
Monografia/livro-ed/org
Advances in Artificial Intelligence: SBIA 2012 (2012)
Barros, Leliane Nunes de (Editor) ; Finger, Marcelo (Editor) ; Pozo, Aurora T (Editor); Gimenez-Hugo, Gustavo A (Editor); Castilho, Marcos (Editor)
Conference titles: Brazilian Symposium on Artificial Intelligence. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Advances in Artificial Intelligence: SBIA 2012. . Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-34459-6. Acesso em: 10 set. 2024. , 2012
APA
Advances in Artificial Intelligence: SBIA 2012. (2012). Advances in Artificial Intelligence: SBIA 2012. Berlin: Springer. doi:10.1007/978-3-642-34459-6
NLM
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 set. 10 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
Vancouver
Advances in Artificial Intelligence: SBIA 2012 [Internet]. 2012 ;[citado 2024 set. 10 ] Available from: https://doi.org/10.1007/978-3-642-34459-6
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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639
Trabalho de evento-anais periodico
Satisfiability in EL with sets of probabilistic ABoxes (2011)
Finger, Marcelo ; Wassermann, Renata ; Cozman, Fabio Gagliardi
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Description Logics - DL. Unidades: IME, EP
Subjects: 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 WASSERMANN, Renata e COZMAN, Fabio Gagliardi. Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-745/paper_14.pdf. Acesso em: 10 set. 2024. , 2011
APA
Finger, M., Wassermann, R., & Cozman, F. G. (2011). Satisfiability in EL with sets of probabilistic ABoxes. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-745/paper_14.pdf
NLM
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2024 set. 10 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf
Vancouver
Finger M, Wassermann R, Cozman FG. Satisfiability in EL with sets of probabilistic ABoxes [Internet]. CEUR Workshop Proceedings. 2011 ; 745 1-11.[citado 2024 set. 10 ] Available from: http://ceur-ws.org/Vol-745/paper_14.pdf
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: 10 set. 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 set. 10 ] 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 set. 10 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_46
Trabalho de evento
Entailment multipliers: an algebraic characterization of validity for classical and modal logics (2010)
Finger, Marcelo ; Hernandes, Maruricio S. C
Source: Proceedings. Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e HERNANDES, Maruricio S. C. Entailment multipliers: an algebraic characterization of validity for classical and modal logics. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-13824-9_1. Acesso em: 10 set. 2024.
APA
Finger, M., & Hernandes, M. S. C. (2010). Entailment multipliers: an algebraic characterization of validity for classical and modal logics. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-13824-9_1
NLM
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 set. 10 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1
Vancouver
Finger M, Hernandes MSC. Entailment multipliers: an algebraic characterization of validity for classical and modal logics [Internet]. Proceedings. 2010 ;[citado 2024 set. 10 ] Available from: https://doi.org/10.1007/978-3-642-13824-9_1

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories