Filtros : "IME" "LÓGICA MATEMÁTICA" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Subjects: LÓGICA, LÓGICA MATEMÁTICA

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
  • Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.5753/wbl.2024.2347
  • Source: Logica Universalis. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ESTATÍSTICA, PSICOLOGIA JUNGUIANA

    Versão PublicadaAcesso à fonteAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1007/s11787-023-00342-y
  • Source: Journal of Logic and Computation. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR

    Versão AceitaAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1093/logcom/exad059
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    PrivadoAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1093/jigpal/jzac050
  • Source: Compendium of neurosymbolic artificial intelligence. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, REDES NEURAIS

    Acesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.3233/FAIA230160
  • Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA

    Acesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
  • Source: The Exoteric Square of Opposition. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, ESTATÍSTICA

    Acesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1007/978-3-030-90823-2_14
  • Source: Mathematical Structures in Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão AceitaAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1017/S096012952200010X
  • Source: Journal of Applied Logics — IFCoLog Journal of Logics and their Applications. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
  • 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

    Acesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
  • Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIAS

    Versão PublicadaAcesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
  • 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

    PrivadoAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
  • Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, LÓGICA MATEMÁTICA

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-11022022-160136/
  • Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
  • Source: Ciência & Educação. Unidade: IME

    Subjects: MATEMÁTICA, LÓGICA MATEMÁTICA, FORMAÇÃO DE PROFESSORES

    Versão PublicadaAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1590/1516-731320200010
  • 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

    Versão PublicadaAcesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: http://lna.unb.br/lna_n01_book.pdf
  • Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
  • 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

    PrivadoAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003
  • Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, SEMÂNTICA DE PROGRAMAÇÃO

    PrivadoAcesso à fonteDOIHow to cite
    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: 09 dez. 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 dez. 09 ] 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 dez. 09 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024