ReP USP - Resultado da busca

Artigo de periodico
Nash meets Lukasiewicz: computing equilibria through logic (2025)
Preto, Sandro ; Finger, Marcelo
Fonte: Journal of Logic and Computation. Unidade: IME
Assuntos: 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: 23 nov. 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 nov. 23 ] 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 nov. 23 ] Available from: https://doi.org/10.1093/logcom/exae073
Trabalho de evento
On the relationship between And-Sum Circuits and deterministic boolean circuits (2025)
Gonçalves, Jonas Rodrigues Lima; Mauá, Denis Deratani
Nome do evento: Conference on Uncertainty in Artificial Intelligence - UAI. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, CIRCUITOS LÓGICOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONÇALVES, Jonas Rodrigues Lima e MAUÁ, Denis Deratani. On the relationship between And-Sum Circuits and deterministic boolean circuits. 2025, Anais.. Corvallis: AUAI Press, 2025. Disponível em: https://openreview.net/pdf?id=VbFZDZpOi6. Acesso em: 23 nov. 2025.
APA
Gonçalves, J. R. L., & Mauá, D. D. (2025). On the relationship between And-Sum Circuits and deterministic boolean circuits. In . Corvallis: AUAI Press. Recuperado de https://openreview.net/pdf?id=VbFZDZpOi6
NLM
Gonçalves JRL, Mauá DD. On the relationship between And-Sum Circuits and deterministic boolean circuits [Internet]. 2025 ;[citado 2025 nov. 23 ] Available from: https://openreview.net/pdf?id=VbFZDZpOi6
Vancouver
Gonçalves JRL, Mauá DD. On the relationship between And-Sum Circuits and deterministic boolean circuits [Internet]. 2025 ;[citado 2025 nov. 23 ] Available from: https://openreview.net/pdf?id=VbFZDZpOi6
Trabalho de evento-resumo
Multirings and applications to algebraic theory of quadratic forms and graded rings (abstract) (2025)
Mariano, Hugo Luiz ; Ribeiro, Hugo Rafael de Oliveira; Roberto, Kaique Matias de Andrade
Fonte: Structures Algébriques Ordonnées. Nome do evento: Séminaire de Structures Algébriques Ordonnées. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, ESTRUTURAS ALGÉBRICAS ORDENADAS, FORMAS QUADRÁTICAS, GEOMETRIA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e RIBEIRO, Hugo Rafael de Oliveira e ROBERTO, Kaique Matias de Andrade. Multirings and applications to algebraic theory of quadratic forms and graded rings (abstract). 2025, Anais.. Paris: Université Paris Cité, 2025. p. 1-4. Disponível em: https://semsao.imj-prg.fr/DDG-2022-2024.pdf. Acesso em: 23 nov. 2025.
APA
Mariano, H. L., Ribeiro, H. R. de O., & Roberto, K. M. de A. (2025). Multirings and applications to algebraic theory of quadratic forms and graded rings (abstract). In Structures Algébriques Ordonnées (p. 1-4). Paris: Université Paris Cité. Recuperado de https://semsao.imj-prg.fr/DDG-2022-2024.pdf
NLM
Mariano HL, Ribeiro HR de O, Roberto KM de A. Multirings and applications to algebraic theory of quadratic forms and graded rings (abstract) [Internet]. Structures Algébriques Ordonnées. 2025 ; 1-4.[citado 2025 nov. 23 ] Available from: https://semsao.imj-prg.fr/DDG-2022-2024.pdf
Vancouver
Mariano HL, Ribeiro HR de O, Roberto KM de A. Multirings and applications to algebraic theory of quadratic forms and graded rings (abstract) [Internet]. Structures Algébriques Ordonnées. 2025 ; 1-4.[citado 2025 nov. 23 ] Available from: https://semsao.imj-prg.fr/DDG-2022-2024.pdf
Trabalho de evento-resumo
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, FEIXES, ESTRUTURAS ALGÉBRICAS ORDENADAS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. Sheaves on quantales and their truth values. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 90-91. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 23 nov. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). Sheaves on quantales and their truth values. In Book of abstracts (p. 90-91). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico
Density cardinals (2025)
Brech, Christina ; Brendle, Jörg; Telles, Márcio
Fonte: Journal of the London Mathematical Society. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, CARDINAIS COMO INVARIANTES TOPOLÓGICOS, TEORIA DOS CONJUNTOS, TEORIA COMBINATÓRIA DOS CONJUNTOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRECH, Christina e BRENDLE, Jörg e TELLES, Márcio. Density cardinals. Journal of the London Mathematical Society, v. 112, n. 3, p. 01-34, 2025Tradução . . Disponível em: https://doi.org/10.1112/jlms.70300. Acesso em: 23 nov. 2025.
APA
Brech, C., Brendle, J., & Telles, M. (2025). Density cardinals. Journal of the London Mathematical Society, 112( 3), 01-34. doi:10.1112/jlms.70300
NLM
Brech C, Brendle J, Telles M. Density cardinals [Internet]. Journal of the London Mathematical Society. 2025 ; 112( 3): 01-34.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1112/jlms.70300
Vancouver
Brech C, Brendle J, Telles M. Density cardinals [Internet]. Journal of the London Mathematical Society. 2025 ; 112( 3): 01-34.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1112/jlms.70300
Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2025)
Finger, Marcelo ; Preto, Sandro
Fonte: Journal of Logic and Computation. Unidade: IME
Assuntos: 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: 23 nov. 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 nov. 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. 2025 ; 35( 5): 1-15.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1093/logcom/exad059
Artigo de periodico
Tight-minimal dichotomies in Banach spaces (2025)
Cáceres-Rigo, Alejandra C. ; Ferenczi, Valentin
Fonte: Studia Mathematica. Unidade: IME
Assuntos: ANÁLISE FUNCIONAL, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÁCERES-RIGO, Alejandra C. e FERENCZI, Valentin. Tight-minimal dichotomies in Banach spaces. Studia Mathematica, v. 281, n. 3, p. 227-273, 2025Tradução . . Disponível em: https://doi.org/10.4064/sm231219-14-1. Acesso em: 23 nov. 2025.
APA
Cáceres-Rigo, A. C., & Ferenczi, V. (2025). Tight-minimal dichotomies in Banach spaces. Studia Mathematica, 281( 3), 227-273. doi:10.4064/sm231219-14-1
NLM
Cáceres-Rigo AC, Ferenczi V. Tight-minimal dichotomies in Banach spaces [Internet]. Studia Mathematica. 2025 ; 281( 3): 227-273.[citado 2025 nov. 23 ] Available from: https://doi.org/10.4064/sm231219-14-1
Vancouver
Cáceres-Rigo AC, Ferenczi V. Tight-minimal dichotomies in Banach spaces [Internet]. Studia Mathematica. 2025 ; 281( 3): 227-273.[citado 2025 nov. 23 ] Available from: https://doi.org/10.4064/sm231219-14-1
Trabalho de evento-resumo
O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra (2025)
Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SEVERINO, Jéssica Duarte e ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 289-290. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 23 nov. 2025.
APA
Severino, J. D., Roberto, K. M. de A., & Mariano, H. L. (2025). O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. In Book of abstracts (p. 289-290). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Preservation of topological properties by forcing (2025)
Rocha, Vinicius Oliveira
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ANÁLISE ESTATÍSTICA DE DADOS, TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Vinicius Oliveira. Preservation of topological properties by forcing. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 23 nov. 2025.
APA
Rocha, V. O. (2025). Preservation of topological properties by forcing. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Exploring mathematical methodology (2025)
Meleiro, Juan Ferrer ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELEIRO, Juan Ferrer e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Exploring mathematical methodology. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 174-175. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 23 nov. 2025.
APA
Meleiro, J. F., Mariano, H. L., & Mendes, C. de A. (2025). Exploring mathematical methodology. In Book of abstracts (p. 174-175). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2025 nov. 23 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Assuntos: LÓGICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade. Categories of commutative semicartesian quantales valued sets. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/. Acesso em: 23 nov. 2025.
APA
Mendes, C. de A. (2024). Categories of commutative semicartesian quantales valued sets (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
NLM
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Vancouver
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Trabalho de evento-anais periodico
(In)consistency operators on quasi-Nelson algebras (2024)
Rivieccio, Umberto; Orellano, Aldo Figallo
Fonte: Proceedings. Nome do evento: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Assuntos: LÓGICA PARACONSISTENTE, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIVIECCIO, Umberto e ORELLANO, Aldo Figallo. (In)consistency operators on quasi-Nelson algebras. Proceedings. [S.l.]: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-031-62687-6_12. Acesso em: 23 nov. 2025. , 2024
APA
Rivieccio, U., & Orellano, A. F. (2024). (In)consistency operators on quasi-Nelson algebras. Proceedings. Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/978-3-031-62687-6_12
NLM
Rivieccio U, Orellano AF. (In)consistency operators on quasi-Nelson algebras [Internet]. Proceedings. 2024 ; 175-192.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-031-62687-6_12
Vancouver
Rivieccio U, Orellano AF. (In)consistency operators on quasi-Nelson algebras [Internet]. Proceedings. 2024 ; 175-192.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-031-62687-6_12
Artigo de periodico
Dynamic oppositional symmetries for color, Jungian and Kantian categories (2024)
Stern, Julio Michael
Fonte: Logica Universalis. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, ESTATÍSTICA, PSICOLOGIA JUNGUIANA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, v. 18, n. 1-2, p. 235-282, 2024Tradução . . Disponível em: https://doi.org/10.1007/s11787-023-00342-y. Acesso em: 23 nov. 2025.
APA
Stern, J. M. (2024). Dynamic oppositional symmetries for color, Jungian and Kantian categories. Logica Universalis, 18( 1-2), 235-282. doi:10.1007/s11787-023-00342-y
NLM
Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/s11787-023-00342-y
Vancouver
Stern JM. Dynamic oppositional symmetries for color, Jungian and Kantian categories [Internet]. Logica Universalis. 2024 ; 18( 1-2): 235-282.[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/s11787-023-00342-y
Trabalho de evento
Logical approximation and formal verification of neural networks (2024)
Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo
Fonte: Anais. Nome do evento: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Assuntos: 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: 23 nov. 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 nov. 23 ] 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 nov. 23 ] 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
Fonte: 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 nov. 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 nov. 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 2025 nov. 23 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Parte de monografia/livro
Effective reasoning over neural networks using Lukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Fonte: Compendium of neurosymbolic artificial intelligence. Unidade: IME
Assuntos: 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 nov. 2025.
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 2025 nov. 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 2025 nov. 23 ] Available from: https://doi.org/10.3233/FAIA230160
Trabalho de evento
Hyperintensional models and belief change (2022)
Souza, Marlo ; Wassermann, Renata
Fonte: Proceedings. Nome do evento: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional models and belief change. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_30. Acesso em: 23 nov. 2025.
APA
Souza, M., & Wassermann, R. (2022). Hyperintensional models and belief change. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_30
NLM
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Vancouver
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Artigo de periodico
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)
Preto, Sandro ; Finger, Marcelo
Fonte: 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 nov. 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 nov. 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 2025 nov. 23 ] Available from: https://doi.org/10.1017/S096012952200010X
Artigo de periodico
Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo (2022)
Castro Junior, Sergio Luís de ; Lamarca, Daniel Sá Freire ; Kraetzer, Thiago Lorente ; Balthazar, Glauber da Rocha ; Caneppele, Fernando de Lima
Fonte: Research, Society and Development. Unidades: FZEA, ESALQ
Assuntos: PISCICULTURA, AQUICULTURA DE ÁGUA DOCE, LÓGICA FUZZY, LÓGICA MATEMÁTICA, QUALIDADE DA ÁGUA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASTRO JUNIOR, Sergio Luís de et al. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo. Research, Society and Development, v. 11, n. 4, p. 1-10, 2022Tradução . . Disponível em: https://doi.org/10.33448/rsd-v11i4.26933. Acesso em: 23 nov. 2025.
APA
Castro Junior, S. L. de, Lamarca, D. S. F., Kraetzer, T. L., Balthazar, G. da R., & Caneppele, F. de L. (2022). Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo. Research, Society and Development, 11( 4), 1-10. doi:10.33448/rsd-v11i4.26933
NLM
Castro Junior SL de, Lamarca DSF, Kraetzer TL, Balthazar G da R, Caneppele F de L. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo [Internet]. Research, Society and Development. 2022 ; 11( 4): 1-10.[citado 2025 nov. 23 ] Available from: https://doi.org/10.33448/rsd-v11i4.26933
Vancouver
Castro Junior SL de, Lamarca DSF, Kraetzer TL, Balthazar G da R, Caneppele F de L. Sistema baseado na lógica fuzzy para diagnóstico da qualidade da água para o cultivo de tilápia-do-Nilo [Internet]. Research, Society and Development. 2022 ; 11( 4): 1-10.[citado 2025 nov. 23 ] Available from: https://doi.org/10.33448/rsd-v11i4.26933
Parte de monografia/livro
Color-coded epistemic modes in a jungian hexagon of opposition (2022)
Stern, Julio Michael
Fonte: The Exoteric Square of Opposition. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, ESTATÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Color-coded epistemic modes in a jungian hexagon of opposition. The Exoteric Square of Opposition. Tradução . Cham: Springer, 2022. p. 31 . Disponível em: https://doi.org/10.1007/978-3-030-90823-2_14. Acesso em: 23 nov. 2025.
APA
Stern, J. M. (2022). Color-coded epistemic modes in a jungian hexagon of opposition. In The Exoteric Square of Opposition (p. 31 ). Cham: Springer. doi:10.1007/978-3-030-90823-2_14
NLM
Stern JM. Color-coded epistemic modes in a jungian hexagon of opposition [Internet]. In: The Exoteric Square of Opposition. Cham: Springer; 2022. p. 31 .[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14
Vancouver
Stern JM. Color-coded epistemic modes in a jungian hexagon of opposition [Internet]. In: The Exoteric Square of Opposition. Cham: Springer; 2022. p. 31 .[citado 2025 nov. 23 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14

Unidades USP

ReP

Filtros

Tipo de material

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Indexado em

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação