Filtros : "Wassermann, Renata" "IME" Removidos: "Probabilidade e Estatística Aplicada" "ALGORITMOS E ESTRUTURAS DE DADOS" "AAAI Press" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Subjects: WEB SEMÂNTICA, REPRESENTAÇÃO DE CONHECIMENTO, SEMÂNTICA, INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CÂMARA, Igor de Camargo e Souza. Quantification in description logics of typicality. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/. Acesso em: 16 nov. 2024.
    • APA

      Câmara, I. de C. e S. (2023). Quantification in description logics of typicality (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
    • NLM

      Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
    • Vancouver

      Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
  • Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional. Unidades: IME, EACH, IAG, ICMC, FFLCH

    Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LOPES, Washington Roberto et al. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra. 2023, Anais.. Porto Alegre: SBC, 2023. Disponível em: https://doi.org/10.5753/eniac.2023.234546. Acesso em: 16 nov. 2024.
    • APA

      Lopes, W. R., Zilberman, B. S., Cruz, B. M. da, Cruz, L. dos S. M., Gomes, R. A. L., Wassermann, R., et al. (2023). Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra. In Anais. Porto Alegre: SBC. doi:10.5753/eniac.2023.234546
    • NLM

      Lopes WR, Zilberman BS, Cruz BM da, Cruz L dos SM, Gomes RAL, Wassermann R, Peres SM, Silva VF da. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra [Internet]. Anais. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/eniac.2023.234546
    • Vancouver

      Lopes WR, Zilberman BS, Cruz BM da, Cruz L dos SM, Gomes RAL, Wassermann R, Peres SM, Silva VF da. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra [Internet]. Anais. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/eniac.2023.234546
  • 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: 16 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. 16 ] 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. 16 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Assunto: REVISÃO DE CRENÇAS

    PrivadoAcesso à 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 Partial Meet Contractions. 2022, Anais.. Vienna: IJCAI, 2022. Disponível em: https://doi.org/10.24963/kr.2022/34. Acesso em: 16 nov. 2024.
    • APA

      Souza, M., & Wassermann, R. (2022). Hyperintensional Partial Meet Contractions. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2022/34
    • NLM

      Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2022/34
    • Vancouver

      Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2022/34
  • Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. . Rio de Janeiro: GEN/LTC. . Acesso em: 16 nov. 2024. , 2022
    • APA

      Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. (2022). Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. Rio de Janeiro: GEN/LTC.
    • NLM

      Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. 2022 ;[citado 2024 nov. 16 ]
    • Vancouver

      Inteligência artificial: uma abordagem moderna. [Revisão Técnica]. 2022 ;[citado 2024 nov. 16 ]
  • 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: 16 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. 16 ] 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. 16 ] 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: 16 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. 16 ] 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. 16 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
  • Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO, ONTOLOGIAS

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RESINA, Fillipe Manoel Xavier. Studies on non-prioritized multiple belief revision. 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-17122021-115606/. Acesso em: 16 nov. 2024.
    • APA

      Resina, F. M. X. (2021). Studies on non-prioritized multiple belief revision (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
    • NLM

      Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
    • Vancouver

      Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

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

    PrivadoAcesso à 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. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 16 nov. 2024.
    • APA

      Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56
    • NLM

      Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2021/56
    • Vancouver

      Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2021/56
  • Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME

    Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 16 nov. 2024. , 2021
    • APA

      Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
    • NLM

      Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
    • Vancouver

      Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
  • Unidade: IME

    Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MATOS, Vinícius Bitencourt. Pseudo-contraction operations for description logics. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 16 nov. 2024.
    • APA

      Matos, V. B. (2021). Pseudo-contraction operations for description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
    • NLM

      Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
    • Vancouver

      Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
  • Source: Proceedings. Conference titles: International Workshop On Non-Monotonic Reasoning - NMR. Unidade: IME

    Assunto: REPRESENTAÇÃO DE CONHECIMENTO

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RESINA, Fillipe Manoel Xavier e WASSERMANN, Renata. A survey on multiple revision. 2020, Anais.. Buenos Aires: Universidad de Buenos Aires, 2020. Disponível em: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf. Acesso em: 16 nov. 2024.
    • APA

      Resina, F. M. X., & Wassermann, R. (2020). A survey on multiple revision. In Proceedings. Buenos Aires: Universidad de Buenos Aires. Recuperado de https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
    • NLM

      Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 16 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
    • Vancouver

      Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 16 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
  • Source: CEUR Workshop Proceedings. Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidade: IME

    Subjects: SEMÂNTICA, ONTOLOGIAS, SISTEMA ÚNICO DE SAÚDE

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PEREIRA, Debora Lina Nascimento Ciriaco et al. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf. Acesso em: 16 nov. 2024. , 2020
    • APA

      Pereira, D. L. N. C., Pessoa, A., Salvador, L., & Wassermann, R. (2020). Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
    • NLM

      Pereira DLNC, Pessoa A, Salvador L, Wassermann R. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo [Internet]. CEUR Workshop Proceedings. 2020 ; 2728 61-74.[citado 2024 nov. 16 ] Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
    • Vancouver

      Pereira DLNC, Pessoa A, Salvador L, Wassermann R. Integração semântica das bases de dados do Sistema Único de Saude: um estudo de caso com o município de São Paulo [Internet]. CEUR Workshop Proceedings. 2020 ; 2728 61-74.[citado 2024 nov. 16 ] Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
  • Unidade: IME

    Assunto: CIENCIA DA COMPUTACAO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GUIMARÃES, Ricardo Ferreira. Modularity in belief change of description logic bases. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/. Acesso em: 16 nov. 2024.
    • APA

      Guimarães, R. F. (2020). Modularity in belief change of description logic bases (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
    • NLM

      Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
    • Vancouver

      Guimarães RF. Modularity in belief change of description logic bases [Internet]. 2020 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Assunto: REPRESENTAÇÃO DE CONHECIMENTO

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RESINA, Fillipe Manoel Xavier et al. Choosing what to believe: new results in selective revision. 2020, Anais.. Vienna: IJCAI, 2020. Disponível em: https://doi.org/10.24963/kr.2020/70. Acesso em: 16 nov. 2024.
    • APA

      Resina, F. M. X., Garapa, M., Wassermann, R., Fermé, E., & Reis, M. (2020). Choosing what to believe: new results in selective revision. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2020/70
    • NLM

      Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2020/70
    • Vancouver

      Resina FMX, Garapa M, Wassermann R, Fermé E, Reis M. Choosing what to believe: new results in selective revision [Internet]. Proceedings. 2020 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/kr.2020/70
  • Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SANTOS, Jandson Santos Ribeiro. Belief change without compactness. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/. Acesso em: 16 nov. 2024.
    • APA

      Santos, J. S. R. (2020). Belief change without compactness (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
    • NLM

      Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
    • Vancouver

      Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
  • Unidade: IME

    Assunto: CIENCIA DA COMPUTACAO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PEREIRA, Debora Lina Nascimento Ciriaco. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/. Acesso em: 16 nov. 2024.
    • APA

      Pereira, D. L. N. C. (2019). Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
    • NLM

      Pereira DLNC. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo [Internet]. 2019 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
    • Vancouver

      Pereira DLNC. Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo [Internet]. 2019 ;[citado 2024 nov. 16 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
  • Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME

    Assunto: REPRESENTAÇÃO DE CONHECIMENTO

    Versão PublicadaAcesso à 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 update without compactness in non-finitary languages. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://doi.org/10.24963/ijcai.2019/257. Acesso em: 16 nov. 2024.
    • APA

      Ribeiro, J. S., Nayak, A., & Wassermann, R. (2019). Belief update without compactness in non-finitary languages. In Proceedings. Vienna: IJCAI. doi:10.24963/ijcai.2019/257
    • NLM

      Ribeiro JS, Nayak A, Wassermann R. Belief update without compactness in non-finitary languages [Internet]. Proceedings. 2019 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/ijcai.2019/257
    • Vancouver

      Ribeiro JS, Nayak A, Wassermann R. Belief update without compactness in non-finitary languages [Internet]. Proceedings. 2019 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.24963/ijcai.2019/257
  • Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      WASSERMANN, Renata. Logics in artificial intelligence. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 16 nov. 2024.
    • APA

      Wassermann, R. (2019). Logics in artificial intelligence. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • NLM

      Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 16 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
    • Vancouver

      Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 nov. 16 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
  • 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: 16 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. 16 ] 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. 16 ] Available from: https://doi.org/10.1609/aaai.v33i01.33013019

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