ReP USP - Resultado da busca

Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Subjects: 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: 02 nov. 2024.
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 2024 nov. 02 ] 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 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Artigo de periodico
Dynamic oppositional symmetries for color, Jungian and Kantian categories (2024)
Stern, Julio Michael
Source: Logica Universalis. Unidade: IME
Subjects: 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: 02 nov. 2024.
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 2024 nov. 02 ] 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 2024 nov. 02 ] 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
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: 02 nov. 2024.
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 2024 nov. 02 ] 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 2024 nov. 02 ] Available from: https://doi.org/10.5753/wbl.2024.2347
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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] Available from: https://doi.org/10.1093/logcom/exad059
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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] 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
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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] Available from: https://doi.org/10.3233/FAIA230160
Trabalho de evento
Hyperintensional models and belief change (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: 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: 02 nov. 2024.
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 2024 nov. 02 ] 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 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Parte de monografia/livro
Color-coded epistemic modes in a jungian hexagon of opposition (2022)
Stern, Julio Michael
Source: The Exoteric Square of Opposition. Unidade: IME
Subjects: 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: 02 nov. 2024.
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 2024 nov. 02 ] 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 2024 nov. 02 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14
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: 02 nov. 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 nov. 02 ] 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 nov. 02 ] Available from: https://doi.org/10.1017/S096012952200010X
Artigo de periodico
Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications (2022)
Rios, Gabriel Bittencourt ; Souza, Daniel de Almeida; Pinto, Darllan Conceição; Mariano, Hugo Luiz
Source: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIOS, Gabriel Bittencourt et al. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, v. 9, n. 1, p. 445-494, 2022Tradução . . Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 02 nov. 2024.
APA
Rios, G. B., Souza, D. de A., Pinto, D. C., & Mariano, H. L. (2022). Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications, 9( 1), 445-494. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
NLM
Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 nov. 02 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Vancouver
Rios GB, Souza D de A, Pinto DC, Mariano HL. Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications [Internet]. Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 445-494.[citado 2024 nov. 02 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-anais periodico
An algebraic (set) theory of surreal numbers, I (2022)
Rangel, Dimi Rocha; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RANGEL, Dimi Rocha e MARIANO, Hugo Luiz. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 02 nov. 2024. , 2022
APA
Rangel, D. R., & Mariano, H. L. (2022). An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 nov. 02 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 nov. 02 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Trabalho de evento-anais periodico
Repairing ontologies via kernel pseudo-contraction (2022)
Matos, Vinícius Bitencourt ; Wassermann, Renata
Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt e WASSERMANN, Renata. Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3197/paper2.pdf. Acesso em: 02 nov. 2024. , 2022
APA
Matos, V. B., & Wassermann, R. (2022). Repairing ontologies via kernel pseudo-contraction. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3197/paper2.pdf
NLM
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 nov. 02 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Vancouver
Matos VB, Wassermann R. Repairing ontologies via kernel pseudo-contraction [Internet]. CEUR Workshop Proceedings. 2022 ; 3197 16-26.[citado 2024 nov. 02 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 02 nov. 2024. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Dissertação (Mestrado)
Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações (2021)
Aponte Cardona, Alejandro; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
APONTE CARDONA, Alejandro. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/. Acesso em: 02 nov. 2024.
APA
Aponte Cardona, A. (2021). Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/
NLM
Aponte Cardona A. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações [Internet]. 2021 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/
Vancouver
Aponte Cardona A. Uma visão conjuntista de alguns resultados em colimites de estruturas e aplicações [Internet]. 2021 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/
Tese (Doutorado)
Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)
Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)
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
PRETO, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/. Acesso em: 02 nov. 2024.
APA
Preto, S. M. da S. (2021). Semantics modulo satisfiability with applications: function representation, probabilities and game theory (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
NLM
Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
Vancouver
Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2024 nov. 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
Artigo de periodico
Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática (2020)
Vieira, William ; Souza, Vera Helena Giusti de ; Imafuku, Roberto Seidi
Source: Ciência & Educação. Unidade: IME
Subjects: MATEMÁTICA, LÓGICA MATEMÁTICA, FORMAÇÃO DE PROFESSORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIEIRA, William e SOUZA, Vera Helena Giusti de e IMAFUKU, Roberto Seidi. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática. Ciência & Educação, v. 26, 2020Tradução . . Disponível em: https://doi.org/10.1590/1516-731320200010. Acesso em: 02 nov. 2024.
APA
Vieira, W., Souza, V. H. G. de, & Imafuku, R. S. (2020). Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática. Ciência & Educação, 26. doi:10.1590/1516-731320200010
NLM
Vieira W, Souza VHG de, Imafuku RS. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática [Internet]. Ciência & Educação. 2020 ; 26[citado 2024 nov. 02 ] Available from: https://doi.org/10.1590/1516-731320200010
Vancouver
Vieira W, Souza VHG de, Imafuku RS. Sobre justificativas em questões do tipo verdadeiro/falso de estudantes de licenciatura em matemática [Internet]. Ciência & Educação. 2020 ; 26[citado 2024 nov. 02 ] Available from: https://doi.org/10.1590/1516-731320200010
Trabalho de evento
Alguns comentários sobre a questão da identidade entre lógicas (2019)
Mariano, Hugo Luiz
Source: Seminário Lógica no Avião: 2013 - 2018. Conference titles: Seminário Permanente Lógica no Avião. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz. Alguns comentários sobre a questão da identidade entre lógicas. 2019, Anais.. Brasília: PPGFIL/UnB, 2019. Disponível em: http://lna.unb.br/lna_n01_book.pdf. Acesso em: 02 nov. 2024.
APA
Mariano, H. L. (2019). Alguns comentários sobre a questão da identidade entre lógicas. In Seminário Lógica no Avião: 2013 - 2018. Brasília: PPGFIL/UnB. Recuperado de http://lna.unb.br/lna_n01_book.pdf
NLM
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 nov. 02 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Vancouver
Mariano HL. Alguns comentários sobre a questão da identidade entre lógicas [Internet]. Seminário Lógica no Avião: 2013 - 2018. 2019 ;[citado 2024 nov. 02 ] Available from: http://lna.unb.br/lna_n01_book.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2019)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel Gomes da
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
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 02 nov. 2024.
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 02 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: TEORIA DA COMPUTAÇÃO, TEORIA DOS MODELOS, AQUISIÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, v. 110, p. 107-126, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.04.003. Acesso em: 02 nov. 2024.
APA
Cozman, F. G., & Mauá, D. D. (2019). The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, 110, 107-126. doi:10.1016/j.ijar.2019.04.003
NLM
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Vancouver
Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
Trabalho de evento
Belief change and non-monotonic reasoning sans compactness (2019)
Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata
Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Belief change and non-monotonic reasoning sans compactness. 2019, Anais.. Palo Alto: AAAI, 2019. Disponível em: https://doi.org/10.1609/aaai.v33i01.33013019. Acesso em: 02 nov. 2024.
APA
Ribeiro, J. S., Nayak, A., & Wassermann, R. (2019). Belief change and non-monotonic reasoning sans compactness. In Proceedings. Palo Alto: AAAI. doi:10.1609/aaai.v33i01.33013019
NLM
Ribeiro JS, Nayak A, Wassermann R. Belief change and non-monotonic reasoning sans compactness [Internet]. Proceedings. 2019 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019
Vancouver
Ribeiro JS, Nayak A, Wassermann R. Belief change and non-monotonic reasoning sans compactness [Internet]. Proceedings. 2019 ;[citado 2024 nov. 02 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration

Área de concentração