ReP USP - Resultado da busca

Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2023)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 23 maio 2024.
APA
Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059
NLM
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/logcom/exad059
Vancouver
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/logcom/exad059
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 23 maio 2024.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: Logic Journal of the IGPL. 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. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 23 maio 2024.
APA
Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050
NLM
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Vancouver
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 23 maio 2024.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Parte de monografia/livro
Effective reasoning over neural networks using Lukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: Compendium of neurosymbolic artificial intelligence. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REDES NEURAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Effective reasoning over neural networks using Lukasiewicz logic. Compendium of neurosymbolic artificial intelligence. Tradução . Amsterdam: IOS Press, 2023. . Disponível em: https://doi.org/10.3233/FAIA230160. Acesso em: 23 maio 2024.
APA
Preto, S., & Finger, M. (2023). Effective reasoning over neural networks using Lukasiewicz logic. In Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press. doi:10.3233/FAIA230160
NLM
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 maio 23 ] Available from: https://doi.org/10.3233/FAIA230160
Vancouver
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 maio 23 ] Available from: https://doi.org/10.3233/FAIA230160
Artigo de periodico
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)
Preto, Sandro ; Finger, Marcelo
Source: Mathematical Structures in Computer Science. 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. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, v. 32, n. 9, p. 1119-1144, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 23 maio 2024.
APA
Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, 32( 9), 1119-1144. doi:10.1017/S096012952200010X
NLM
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2024 maio 23 ] Available from: https://doi.org/10.1017/S096012952200010X
Vancouver
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2024 maio 23 ] Available from: https://doi.org/10.1017/S096012952200010X
Artigo de periodico
Coherence of probabilistic constraints on Nash equilibria (2022)
Preto, Sandro ; Fermé, Eduardo ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidade: IME
Subjects: TEORIA DOS JOGOS, PROGRAMAÇÃO ESTOCÁSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FERMÉ, Eduardo e FINGER, Marcelo. Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, v. 28, n. 1, p. 38-51, 2022Tradução . . Disponível em: https://doi.org/10.5753/jbcs.2022.2434. Acesso em: 23 maio 2024.
APA
Preto, S., Fermé, E., & Finger, M. (2022). Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, 28( 1), 38-51. doi:10.5753/jbcs.2022.2434
NLM
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 maio 23 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
Vancouver
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2024 maio 23 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] 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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

USP Schools

ReP

Filtros

Authors

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies