Filtros : "LÓGICA" "RIBEIRO, MARCIO MORETTO" Removido: "Financiamento IBM" Limpar

Filtros



Limitar por data


  • Fonte: International Journal of Approximate Reasoning. Unidades: EACH, IME

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

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

      SANTOS, Yuri David et al. Partial meet pseudo-contractions. International Journal of Approximate Reasoning, v. 103, p. 11-27, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.08.006. Acesso em: 28 nov. 2025.
    • APA

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

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

      Santos YD, Matos VB, Ribeiro MM, Wassermann R. Partial meet pseudo-contractions [Internet]. International Journal of Approximate Reasoning. 2018 ; 103 11-27.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1016/j.ijar.2018.08.006
  • Fonte: South American Journal of Logic. Unidades: IME, EACH

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

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

      WASSERMANN, Renata e RIBEIRO, Márcio Moretto. Bringing AGM to computer science. South American Journal of Logic, v. 1, n. 2, p. 447-459, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf. Acesso em: 28 nov. 2025.
    • APA

      Wassermann, R., & Ribeiro, M. M. (2015). Bringing AGM to computer science. South American Journal of Logic, 1( 2), 447-459. Recuperado de http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
    • NLM

      Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2025 nov. 28 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
    • Vancouver

      Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2025 nov. 28 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
  • Fonte: CEUR Workshop Proceedings. Nome do evento: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Assuntos: REPRESENTAÇÃO DE CONHECIMENTO, LÓGICA, INTELIGÊNCIA ARTIFICIAL

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

      RIBEIRO, Márcio Moretto e WASSERMANN, Renata. The ontology reviser plug-in for Protégé. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-427/paper1.pdf. Acesso em: 28 nov. 2025. , 2008
    • APA

      Ribeiro, M. M., & Wassermann, R. (2008). The ontology reviser plug-in for Protégé. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-427/paper1.pdf
    • NLM

      Ribeiro MM, Wassermann R. The ontology reviser plug-in for Protégé [Internet]. CEUR Workshop Proceedings. 2008 ; 427 1-12.[citado 2025 nov. 28 ] Available from: http://ceur-ws.org/Vol-427/paper1.pdf
    • Vancouver

      Ribeiro MM, Wassermann R. The ontology reviser plug-in for Protégé [Internet]. CEUR Workshop Proceedings. 2008 ; 427 1-12.[citado 2025 nov. 28 ] Available from: http://ceur-ws.org/Vol-427/paper1.pdf
  • Fonte: CEUR Workshop Proceedings. Nome do evento: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Assuntos: LÓGICA, LINGUAGENS FORMAIS

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

      KEPLER, Fábio Natanael et al. Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-01.pdf. Acesso em: 28 nov. 2025. , 2006
    • APA

      Kepler, F. N., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Delgado, K. V., Barros, L. N. de, & Wassermann, R. (2006). Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-01.pdf
    • NLM

      Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 nov. 28 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
    • Vancouver

      Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2025 nov. 28 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025