Comissão de Pesquisa e Inovação do IME-USP

Comissão de Pesquisa e Inovação do IME-USP - Pós-Doutorado concluído

Sandro Márcio da Silva Preto

Possui graduação em Matemática pela Universidade de São Paulo(2011), mestrado em Filosofia pela Universidade Estadual de Campinas(2015), doutorado em Ciências da Computação pela Universidade de São Paulo(2021), pós-doutorado pela Institut d'Investigació en Intel·ligència Artificial(2022) e pós-doutorado pela Universidade de São Paulo(2024). Atualmente é Professor Adjunto A da Universidade Federal do ABC. Atuando principalmente nos seguintes temas:Valuation Semantics, Propositional Logics, Łukasiewicz Infinitely-valued Logic, Rational McNaughton Functions, Probabilistic Satisfiability e Nash equilibrium. (Texto gerado automaticamente pela aplicação CVLattes)

http://lattes.cnpq.br/8381849651485259 (23/07/2024)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço:

Grande área: [sem-grandeArea]

Área: [sem-area]

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (4)
1. PRETO, S.; FINGER, M.. Proving properties of binary classification neural networks via Łukasiewicz logic. LOGIC JOURNAL OF THE IGPL. v. 31, p. 805-821, 2023. Qualis: A2
2. Preto, Sandro; Finger, Marcelo. Efficient representation of piecewise linear functions into ¿ukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science. v. 32, p. 1119-1144, 2022. Qualis: B1 (MSCS. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE)
3. Preto, Sandro; FERMÉ, EDUARDO ; Finger, Marcelo. Coherence of probabilistic constraints on Nash equilibria. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE). v. 28, p. 38-51, 2022. Qualis: B1
4. FINGER, M. ; PRETO, S.. Probably Partially True: Satisfiability for ¿ukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. Journal of Automated Reasoning (Dordrecht. Online). v. 64, p. 1269-1286, 2020. Qualis: Não identificado (ONLINE))
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (2)
1. Preto, Sandro; Finger, Marcelo. Effective Reasoning over Neural Networks Using Łukasiewicz Logic. Em: Pascal Hitzler; Md Kamruzzaman Sarker; Aaron Eberhart. (Org.). Compendium of Neurosymbolic Artificial Intelligence. Frontiers in Artificial Intelligence and Applications. 1ed.Amsterdã. : IOS Press. 2023.v. 369, p. 609-630.
2. Finger, Marcelo ; Preto, Sandro. Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. Em: Galmiche, D.; Schulz, S.; Sebastiani, R.. (Org.). Lecture Notes in Computer Science. 1ed.Cham. : Springer. 2018.v. 10900, p. 194-210.
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (7)
1. LOBO, JOÃO ; Finger, Marcelo ; Preto, Sandro. Logical Approximation and Formal Verification of Neural Networks. Em: Workshop Brasileiro de Lógica, p. 1-8, 2024. Qualis: Não identificado (Workshop Brasileiro de Lógica)
2. Preto, Sandro; MANYÀ, FELIP ; Finger, Marcelo. Benchmarking ¿ukasiewicz Logic Solvers with Properties of Neural Networks. Em: 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL), p. 158-163, 2023. Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
3. Preto, Sandro; MANYÀ, FELIP ; Finger, Marcelo. Linking ¿ukasiewicz Logic and Boolean Maximum Satisfiability. Em: 2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL), p. 164-169, 2023. Qualis: Não identificado (2023 IEEE 53rd International Symposium on MultipleValued Logic (ISMVL))
4. FLAMINIO, TOMMASO ; Preto, Sandro ; UGOLINI, SARA. Reasoning about Probability via Continuous Functions. Em: 20th International Conference on Principles of Knowledge Representation and Reasoning {KR2023}, p. 282-290, 2023. Qualis: Não identificado (20th International Conference on Principles of Knowledge Representation and Reasoning {KR2023})
5. PRETO, S.; FINGER, M.. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. Em: 15th International Workshop on Logical and Semantic Frameworks, p. 167-186, 2020.Qualis: Não identificado (15th International Workshop on Logical and Semantic Frameworks)
6. SALVATORE, F. ; PRETO, S. ; FINGER, M. ; HIRATA JR., R.. Using neural models to perform inference. Em: 14th International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI, 2019.Qualis: Não identificado (14th International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI)
7. FINGER, M. ; PRETO, S.. Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic. Em: International Joint Conference on Automated Reasoning (IJCAR), p. 194-210, 2018.Qualis: Não identificado (International Joint Conference on Automated Reasoning (IJCAR))
Resumos expandidos publicados em anais de congressos (0)
Resumos publicados em anais de congressos (7)
1. FLAMINIO, T. ; PRETO, S. ; UGOLINI, S.. On a functional representation for probability modal logics. Em: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology, 2023, Buenos Aires. 17th CLMPST Buenos Aires 2023, p. 325-325, 2023.
2. FINGER, M. ; PRETO, S.. Approximating Łukasiewicz Infinitely-valued Logic via Polyhedral Semantics. Em: XX Brazilian Logic Conference - EBL, 2022, Salvador, BA. XX Brazilian Logic Conference: Book of Abstracts. Salvador, BA: Ed. dos Autores, p. 114-115, 2022.
3. PRETO, S.; FINGER, M.. Representing Rational McNaughton Functions via MODSAT Relativisation. Em: 19th Brazilian Logic Conference - EBL, 2019, João Pessoa, PB. 19th Brazilian Logic Conference EBL 2019: Book of Abstracts. João Pessoa, PB: Mídia Gráfica e Editora Ltda, p. 183-183, 2019.
4. PRETO, S. M. S. Derivada generalizada da função de Heaviside. Em: XIV Simpósio de Matemática para a Graduação - SiM, 2011, São Carlos, SP. XIV Simpósio de Matemática para a Graduação Resumos, 2011.
5. PRETO, S. M. S. Derivada generalizada da função de Heaviside. Em: 19º Simpósio Internacional de Iniciação Científica - SIICUSP, 2011, São Carlos, SP. Anais do 19º SIICUSP, 2011.
6. PRETO, S. M. S. Logaritmos e potências irracionais. Em: XIII Simpósio de Matemática para a Graduação - SiM, 2010, São Carlos, SP. XIII Simpósio de Matemática para a Graduação - SiM Resumos, 2010.
7. PRETO, S. M. S. Uma condição necessária e suficiente para integrabilidade segundo Riemann. Em: 18º Simpósio Internacional de Iniciação Científica da USP - SIICUSP, 2010, São Paulo, SP. Anais do 18º SIICUSP, 2010.
Artigos aceitos para publicação (1)
1. Finger, Marcelo ; Preto, Sandro. Polyhedral semantics and the tractable approximation of ¿ukasiewicz infinitely-valued logic. JOURNAL OF LOGIC AND COMPUTATION. 2023. Qualis: A3
Apresentações de trabalho (8)
1. PRETO, S. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. 2020. Apresentação de Trabalho/Comunicação
2. PRETO, S. Representing Rational McNaughton Functions via MODSAT Relativisation. 2019. Apresentação de Trabalho/Comunicação
3. PRETO, S.; OLIVEIRA, M. L. R.. Eleições: como manipulá-las. 2016. Apresentação de Trabalho/Conferência ou palestra
4. PRETO, S. M. S. Derivada generalizada da função de Heaviside. 2011. Apresentação de Trabalho/Simpósio
5. PRETO, S. M. S. Derivada generalizada da função de Heaviside. 2011. Apresentação de Trabalho/Simpósio
6. PRETO, S. M. S. Como conseguir duas laranjas a partir de uma, utilizando somente uma faca (e o axioma da Escolha). 2011. Apresentação de Trabalho/Conferência ou palestra
7. PRETO, S. M. S. Logaritmos e potências irracionais. 2010. Apresentação de Trabalho/Simpósio
8. PRETO, S. M. S. Uma condição necessária e suficiente para integrabilidade segundo Riemann. 2010. Apresentação de Trabalho/Simpósio
Demais tipos de produção bibliográfica (2)
1. PRETO, S. M. S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. Cambridge University Press. 2022. Thesis Abstract
2. OLIVEIRA, M. L. R. ; PRETO, S.. Teoria dos Números e Criptografia. 2017. Curso de curta duração ministrado/Extensão

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (0)
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (0)

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (0)
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (0)
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (1)
1. João Felipe Lobo Pevidor. A study on linear piece wise approximation of neural networks. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
  Orientador: Sandro Márcio da Silva Preto.
Iniciação científica (0)
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (0)

Prêmios e títulos

Total de prêmios e títulos (0)

Participação em eventos

Total de participação em eventos (7)

1.o Workshop Brasileiro de Lógica - WBL. 2020. (Congresso).
15th International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. 2020. (Congresso).
19th Brazilian Logic Conference - EBL. Representing Rational McNaughton Functions via MODSAT Relativisation. 2019. (Congresso).
19º Simpósio Internacional de Iniciação Científica da USP - SIICUSP.Derivada generalizada da função de Heaviside. 2011. (Simpósio).
XIV Simpósio de Matemática para a Graduação - SiM.Derivada generalizada da função de Heaviside. 2011. (Simpósio).
18º Simpósio Internacional de Iniciação Científica da USP - SIICUSP.Uma condição necessária e suficiente para integrabilidade segundo Riemann. 2010. (Simpósio).
XIII Simpósio de Matemática para a Graduação - SiM.Logaritmos e potências irracionais. 2010. (Simpósio).

Organização de eventos

Total de organização de eventos (2)

Crema, J. ; Bonotto, E. M. ; Silva, P. L. D. ; Silva, D. A. ; PRETO, S. M. S. ; Silva, B. P. F. E. ; Soares, A. H.. XIV Simpósio de Matemática para Graduação - SiM. 2011. Outro
Crema, J. ; Bonotto, E. M. ; Grulha Junior, N. G. ; Silva, D. A. ; Silva, B. P. F. E. ; Ferla, G. B. ; PRETO, S. M. S.. XIII Simpósio de Matemática para Graduação - SiM. 2010. Outro

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 08/08/2024 12:42:22

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br