Filtros : "Wassermann, Renata" Limpar

Filtros



Refine with date range


  • 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; WASSERMANN, Renata. Pseudo-contraction operations for description logics. 2021.Universidade de São Paulo, São Paulo, 2021. Disponível em: < https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/ >.
    • APA

      Matos, V. B., & Wassermann, R. (2021). Pseudo-contraction operations for description logics. 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, Wassermann R. Pseudo-contraction operations for description logics [Internet]. 2021 ;Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
    • Vancouver

      Matos VB, Wassermann R. Pseudo-contraction operations for description logics [Internet]. 2021 ;Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
  • 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; PESSOA, Alexandre; SALVADOR, Lais; WASSERMANN, Renata. 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[S.l: s.n.], 2020.Disponível em: .
    • 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. 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.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.Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
  • 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; WASSERMANN, Renata. A survey on multiple revision. Anais.. Buenos Aires: Universidad de Buenos Aires, 2020.Disponível em: .
    • 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 ;Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.pdf
    • Vancouver

      Resina FMX, Wassermann R. A survey on multiple revision [Internet]. Proceedings. 2020 ;Available from: https://nmr2020.dc.uba.ar/WorkshopNotes.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; WASSERMANN, Renata. Modularity in belief change of description logic bases. 2020.Universidade de São Paulo, São Paulo, 2020. Disponível em: < https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/ >.
    • APA

      Guimarães, R. F., & Wassermann, R. (2020). Modularity in belief change of description logic bases. 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, Wassermann R. Modularity in belief change of description logic bases [Internet]. 2020 ;Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-043422/
    • Vancouver

      Guimarães RF, Wassermann R. Modularity in belief change of description logic bases [Internet]. 2020 ;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; GARAPA, Marco; WASSERMANN, Renata; FERMÉ, Eduardo; REIS, Maurício. Choosing what to believe: new results in selective revision. Anais.. Vienna: IJCAI, 2020.Disponível em: DOI: 10.24963/kr.2020/70.
    • 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 ;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 ;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; WASSERMANN, Renata. Belief change without compactness. 2020.Universidade de São Paulo, São Paulo, 2020. Disponível em: < https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/ >.
    • APA

      Santos, J. S. R., & Wassermann, R. (2020). Belief change without compactness. 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, Wassermann R. Belief change without compactness [Internet]. 2020 ;Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-16032020-192134/
    • Vancouver

      Santos JSR, Wassermann R. Belief change without compactness [Internet]. 2020 ;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; WASSERMANN, Renata. 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.Universidade de São Paulo, São Paulo, 2019. Disponível em: < https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/ >.
    • APA

      Pereira, D. L. N. C., & Wassermann, R. (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. 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, Wassermann R. 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 ;Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032020-134428/
    • Vancouver

      Pereira DLNC, Wassermann R. 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 ;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; NAYAK, Abhaya; WASSERMANN, Renata. Belief update without compactness in non-finitary languages. Anais.. Vienna: IJCAI, 2019.Disponível em: DOI: 10.24963/ijcai.2019/257.
    • 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 ;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 ;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. Anais.. João Pessoa: EDUFCG, 2019.Disponível em: .
    • 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 ;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 ;Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
  • 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; WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, Basel, n. 87, p. 233–257, 2019. Disponível em: < http://dx.doi.org/10.1007/s10472-019-09656-4 > DOI: 10.1007/s10472-019-09656-4.
    • 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.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.Available from: http://dx.doi.org/10.1007/s10472-019-09656-4
  • 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; NAYAK, Abhaya; WASSERMANN, Renata. Belief change and non-monotonic reasoning sans compactness. Anais.. Palo Alto: AAAI, 2019.Disponível em: DOI: 10.1609/aaai.v33i01.33013019.
    • 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 ;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 ;Available from: http://dx.doi.org/10.1609/aaai.v33i01.33013019
  • 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; GUIMARÃES, Ricardo; SANTOS, Yuri David; WASSERMANN, Renata. 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[S.l: s.n.], 2019.Disponível em: DOI: 10.1007/978-3-030-22102-7_18.
    • 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. 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. Available from: http://dx.doi.org/10.1007/978-3-030-22102-7_18
  • Source: CEUR Workshop Proceedings. Conference titles: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidade: IME

    Subjects: ONTOLOGIA, SEMÂNTICA

    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; WASSERMANN, Renata; SALVADOR, Lais. Integração semântica das bases de dados do município de São Paulo: um estudo de caso com anomalias congênitas. CEUR Workshop Proceedings[S.l: s.n.], 2018.Disponível em: .
    • APA

      Pereira, D. L. N. C., Wassermann, R., & Salvador, L. (2018). Integração semântica das bases de dados do município de São Paulo: um estudo de caso com anomalias congênitas. CEUR Workshop Proceedings. Aachen. Recuperado de http://ceur-ws.org/Vol-2228/abstract2.pdf
    • NLM

      Pereira DLNC, Wassermann R, Salvador L. Integração semântica das bases de dados do município de São Paulo: um estudo de caso com anomalias congênitas [Internet]. CEUR Workshop Proceedings. 2018 ; 2228 276-281.Available from: http://ceur-ws.org/Vol-2228/abstract2.pdf
    • Vancouver

      Pereira DLNC, Wassermann R, Salvador L. Integração semântica das bases de dados do município de São Paulo: um estudo de caso com anomalias congênitas [Internet]. CEUR Workshop Proceedings. 2018 ; 2228 276-281.Available from: http://ceur-ws.org/Vol-2228/abstract2.pdf
  • 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; WASSERMANN, Renata. Iterated belief change the case of expansion into inconsistency. Anais.. Piscataway: IEEE, 2018.Disponível em: DOI: 10.1109/BRACIS.2017.35.
    • 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 ;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 ;Available from: http://dx.doi.org/10.1109/BRACIS.2017.35
  • Source: International Journal of Approximate Reasoning. Unidades: EACH, IME

    Subjects: ONTOLOGIA, LÓGICA, 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

      SANTOS, Yuri David; RIBEIRO, Márcio Moretto; WASSERMANN, Renata; MATOS, Vinícius Bitencourt. Partial meet pseudo-contractions. International Journal of Approximate Reasoning, New York, v. 103, p. 11-27, 2018. Disponível em: < http://dx.doi.org/10.1016/j.ijar.2018.08.006 > DOI: 10.1016/j.ijar.2018.08.006.
    • APA

      Santos, Y. D., Ribeiro, M. M., Wassermann, R., & Matos, V. B. (2018). Partial meet pseudo-contractions. International Journal of Approximate Reasoning, 103, 11-27. doi:10.1016/j.ijar.2018.08.006
    • NLM

      Santos YD, Ribeiro MM, Wassermann R, Matos VB. Partial meet pseudo-contractions [Internet]. International Journal of Approximate Reasoning. 2018 ; 103 11-27.Available from: http://dx.doi.org/10.1016/j.ijar.2018.08.006
    • Vancouver

      Santos YD, Ribeiro MM, Wassermann R, Matos VB. Partial meet pseudo-contractions [Internet]. International Journal of Approximate Reasoning. 2018 ; 103 11-27.Available from: http://dx.doi.org/10.1016/j.ijar.2018.08.006
  • Source: CEUR Workshop Proceedings. Conference titles: Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine - MedRACER. Unidade: IME

    Assunto: ONTOLOGIA

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

      GUIMARÃES, Ricardo; SATTLER, Uli; WASSERMANN, Renata. Ontology stratification methods: a comparative study. CEUR Workshop Proceedings[S.l: s.n.], 2018.Disponível em: .
    • APA

      Guimarães, R., Sattler, U., & Wassermann, R. (2018). Ontology stratification methods: a comparative study. CEUR Workshop Proceedings. Aachen. Recuperado de http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
    • NLM

      Guimarães R, Sattler U, Wassermann R. Ontology stratification methods: a comparative study [Internet]. CEUR Workshop Proceedings. 2018 ; 2237 1-12.Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
    • Vancouver

      Guimarães R, Sattler U, Wassermann R. Ontology stratification methods: a comparative study [Internet]. CEUR Workshop Proceedings. 2018 ; 2237 1-12.Available from: http://ceur-ws.org/Vol-2237/womocoe-paper-2.pdf
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, REVISÃO DE CRENÇAS

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

      GUERRA, Paulo T; WASSERMANN, Renata. Two AGM-style characterizations of model repair. Anais.. Palo Alto: AAAI Press, 2018.Disponível em: .
    • APA

      Guerra, P. T., & Wassermann, R. (2018). Two AGM-style characterizations of model repair. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
    • NLM

      Guerra PT, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Proceedings. 2018 ;Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
    • Vancouver

      Guerra PT, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Proceedings. 2018 ;Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
  • Source: Journal of the Brazilian Computer Society. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, SEMÂNTICA

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

      FERMÉ, Eduardo; WASSERMANN, Renata. On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, Porto Alegre, v. 24, n. 1, p. 1-9, 2018. Disponível em: < http://dx.doi.org/10.1186/s13173-018-0072-4 > DOI: 10.1186/s13173-018-0072-4.
    • APA

      Fermé, E., & Wassermann, R. (2018). On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, 24( 1), 1-9. doi:10.1186/s13173-018-0072-4
    • NLM

      Fermé E, Wassermann R. On the logic of theory change: iteration of expansion [Internet]. Journal of the Brazilian Computer Society. 2018 ; 24( 1): 1-9.Available from: http://dx.doi.org/10.1186/s13173-018-0072-4
    • Vancouver

      Fermé E, Wassermann R. On the logic of theory change: iteration of expansion [Internet]. Journal of the Brazilian Computer Society. 2018 ; 24( 1): 1-9.Available from: http://dx.doi.org/10.1186/s13173-018-0072-4
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

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

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

      GUERRA, Paulo T; WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic[S.l: s.n.], 2018.Disponível em: .
    • APA

      Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
    • NLM

      Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
    • Vancouver

      Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
  • Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, LÓGICA

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

      RIBEIRO, Jandson S; NAYAK, Abhaya; WASSERMANN, Renata. Towards belief contraction without compactness. Anais.. Palo Alto: AAAI Press, 2018.Disponível em: .
    • APA

      Ribeiro, J. S., Nayak, A., & Wassermann, R. (2018). Towards belief contraction without compactness. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
    • NLM

      Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
    • Vancouver

      Ribeiro JS, Nayak A, Wassermann R. Towards belief contraction without compactness [Internet]. Proceedings. 2018 ;Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060

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