Menu

Filtros : "IME" "Wassermann, Renata" Limpar

Filtros

Refine with date range

1 - 20 (120 records)

  • 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

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30

  • Trabalho de evento

    Hyperintensional Partial Meet Contractions (2022)

    Souza, Marlo ; Wassermann, Renata

    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: 27 set. 2023.

    • 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 2023 set. 27 ] Available from: https://doi.org/10.24963/kr.2022/34

    • Vancouver

      Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2023 set. 27 ] Available from: https://doi.org/10.24963/kr.2022/34

  • 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

    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: 27 set. 2023. , 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

  • 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, ONTOLOGIA

    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: 27 set. 2023. , 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf

  • Tese (Doutorado)

    Studies on non-prioritized multiple belief revision (2021)

    Resina, Fillipe Manoel Xavier ; Wassermann, Renata (Orientador)

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/

  • Trabalho de evento

    Belief contraction in non-classical logics as hyperintensional belief change (2021)

    Souza, Marlo ; Wassermann, Renata

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://doi.org/10.24963/kr.2021/56

  • Monografia/livro-ed/org

    Logic, language, information, and computation (2021)

    Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)

    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: 27 set. 2023. , 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 2023 set. 27 ] Available from: https://doi.org/10.1007/978-3-030-88853-4

    • Vancouver

      Logic, language, information, and computation [Internet]. 2021 ;[citado 2023 set. 27 ] Available from: https://doi.org/10.1007/978-3-030-88853-4

  • Dissertação (Mestrado)

    Pseudo-contraction operations for description logics (2021)

    Matos, Vinícius Bitencourt ; Wassermann, Renata (Orientador)

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/

  • Trabalho de evento

    A survey on multiple revision (2020)

    Resina, Fillipe Manoel Xavier ; Wassermann, Renata

    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: 27 set. 2023.

    • 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 2023 set. 27 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf

    • Vancouver

      Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;[citado 2023 set. 27 ] Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf

  • Trabalho de evento-anais periodico

    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 (2020)

    Pereira, Debora Lina Nascimento Ciriaco ; Pessoa, Alexandre; Salvador, Lais ; Wassermann, Renata

    Source: CEUR Workshop Proceedings. Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidade: IME

    Subjects: SEMÂNTICA, ONTOLOGIA, 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: 27 set. 2023. , 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf

  • Tese (Doutorado)

    Modularity in belief change of description logic bases (2020)

    Guimarães, Ricardo Ferreira; Wassermann, Renata (Orientador)

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/

  • Trabalho de evento

    Choosing what to believe: new results in selective revision (2020)

    Resina, Fillipe Manoel Xavier ; Garapa, Marco ; Wassermann, Renata ; Fermé, Eduardo ; Reis, Maurício

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://doi.org/10.24963/kr.2020/70

  • Tese (Doutorado)

    Belief change without compactness (2020)

    Santos, Jandson Santos Ribeiro; Wassermann, Renata (Orientador)

    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: 27 set. 2023.

    • 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 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/

    • Vancouver

      Santos JSR. Belief change without compactness [Internet]. 2020 ;[citado 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/

  • Dissertação (Mestrado)

    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)

    Pereira, Debora Lina Nascimento Ciriaco; Wassermann, Renata (Orientador)

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/

  • Trabalho de evento-resumo

    Logics in artificial intelligence (2019)

    Wassermann, Renata

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Trabalho de evento

    Belief update without compactness in non-finitary languages (2019)

    Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata

    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: 27 set. 2023.

    • 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 2023 set. 27 ] 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 2023 set. 27 ] Available from: https://doi.org/10.24963/ijcai.2019/257

  • 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

    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: http://dx.doi.org/10.1609/aaai.v33i01.33013019. Acesso em: 27 set. 2023.

    • 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 2023 set. 27 ] Available from: http://dx.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 2023 set. 27 ] Available from: http://dx.doi.org/10.1609/aaai.v33i01.33013019

  • Artigo de periodico

    Two AGM-style characterizations of model repair (2019)

    Oliveira, Paulo de Tarso Guerra ; Wassermann, Renata

    Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME

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

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

    • ABNT

      OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: http://dx.doi.org/10.1007/s10472-019-09656-4. Acesso em: 27 set. 2023.

    • APA

      Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4

    • NLM

      Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1007/s10472-019-09656-4

    • Vancouver

      Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1007/s10472-019-09656-4

  • Parte de monografia/livro

    Pseudo-contractions as gentle repairs (2019)

    Matos, Vinícius Bitencourt ; Guimarães, Ricardo ; Santos, Yuri David ; Wassermann, Renata

    Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME

    Subjects: ONTOLOGIA, CONHECIMENTO

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

    • ABNT

      MATOS, Vinícius Bitencourt et al. Pseudo-contractions as gentle repairs. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: http://dx.doi.org/10.1007/978-3-030-22102-7_18. Acesso em: 27 set. 2023.

    • APA

      Matos, V. B., Guimarães, R., Santos, Y. D., & Wassermann, R. (2019). Pseudo-contractions as gentle repairs. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_18

    • NLM

      Matos VB, Guimarães R, Santos YD, Wassermann R. Pseudo-contractions as gentle repairs [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1007/978-3-030-22102-7_18

    • Vancouver

      Matos VB, Guimarães R, Santos YD, Wassermann R. Pseudo-contractions as gentle repairs [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1007/978-3-030-22102-7_18

  • Trabalho de evento

    Iterated belief change the case of expansion into inconsistency (2018)

    Fermé, Eduardo; Wassermann, Renata

    Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems (BRACIS). Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, SEMÂNTICA

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

    • ABNT

      FERMÉ, Eduardo e WASSERMANN, Renata. Iterated belief change the case of expansion into inconsistency. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: http://dx.doi.org/10.1109/BRACIS.2017.35. Acesso em: 27 set. 2023.

    • APA

      Fermé, E., & Wassermann, R. (2018). Iterated belief change the case of expansion into inconsistency. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2017.35

    • NLM

      Fermé E, Wassermann R. Iterated belief change the case of expansion into inconsistency [Internet]. Proceedings. 2018 ;[citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1109/BRACIS.2017.35

    • Vancouver

      Fermé E, Wassermann R. Iterated belief change the case of expansion into inconsistency [Internet]. Proceedings. 2018 ;[citado 2023 set. 27 ] Available from: http://dx.doi.org/10.1109/BRACIS.2017.35

1 - 20 (120 records)

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