ReP USP - Resultado da busca

Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2025)
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, v. 35, n. 5, p. 1-15, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 08 out. 2025.
APA
Finger, M., & Preto, S. (2025). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 35( 5), 1-15. 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. 2025 ; 35( 5): 1-15.[citado 2025 out. 08 ] 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. 2025 ; 35( 5): 1-15.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exad059
Artigo de periodico
Nash meets Lukasiewicz: computing equilibria through logic (2025)
Preto, Sandro ; Finger, Marcelo
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DOS JOGOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Nash meets Lukasiewicz: computing equilibria through logic. Journal of Logic and Computation, v. 35, n. 4, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae073. Acesso em: 08 out. 2025.
APA
Preto, S., & Finger, M. (2025). Nash meets Lukasiewicz: computing equilibria through logic. Journal of Logic and Computation, 35( 4). doi:10.1093/logcom/exae073
NLM
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Vancouver
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Trabalho de evento
Logical approximation and formal verification of neural networks (2024)
Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo
Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 08 out. 2025.
APA
Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347
NLM
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Vancouver
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/wbl.2024.2347
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: 08 out. 2025.
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 2025 out. 08 ] 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 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzac050
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: 08 out. 2025.
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 2025 out. 08 ] 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 2025 out. 08 ] Available from: https://doi.org/10.1017/S096012952200010X
Artigo de periodico
Equal rights for the cut: computable non-analytic cuts in cut-based proofs (2007)
Finger, Marcelo ; Gabbay, Dov
Source: Logic Journal of 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
FINGER, Marcelo e GABBAY, Dov. Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, v. 15, n. 5-6, p. 553-575, 2007Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzm040. Acesso em: 08 out. 2025.
APA
Finger, M., & Gabbay, D. (2007). Equal rights for the cut: computable non-analytic cuts in cut-based proofs. Logic Journal of IGPL, 15( 5-6), 553-575. doi:10.1093/jigpal/jzm040
NLM
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040
Vancouver
Finger M, Gabbay D. Equal rights for the cut: computable non-analytic cuts in cut-based proofs [Internet]. Logic Journal of IGPL. 2007 ; 15( 5-6): 553-575.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzm040
Artigo de periodico
Cut and Pay (2006)
Finger, Marcelo ; Gabbay, Dov
Source: Journal of Logic, Language and 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 GABBAY, Dov. Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006Tradução . . Disponível em: https://doi.org/10.1007/s10849-005-9001-y. Acesso em: 08 out. 2025.
APA
Finger, M., & Gabbay, D. (2006). Cut and Pay. Journal of Logic, Language and Information, 15, 195-218. doi:10.1007/s10849-005-9001-y
NLM
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-005-9001-y
Vancouver
Finger M, Gabbay D. Cut and Pay [Internet]. Journal of Logic, Language and Information. 2006 ; 15 195-218.[citado 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-005-9001-y

USP Schools

ReP

Filtros

Date published

Source title