Filtros : "IME" "WASSERMANN, RENATA" Limpar

Filtros



Refine with date range


  • Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS AUTÔNOMOS, REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS

    Acesso à 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. Revision of CTL models. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_16. Acesso em: 29 mar. 2024.
    • APA

      Guerra, P. T., & Wassermann, R. (2010). Revision of CTL models. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_16
    • NLM

      Guerra PT, Wassermann R. Revision of CTL models [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
    • Vancouver

      Guerra PT, Wassermann R. Revision of CTL models [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
  • Source: Proceedings. Conference titles: European Conference on Artificial Intelligence - ECAI. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, 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

      BOOTH, Richard et al. Horn belief change: a contraction core. 2010, Anais.. Amsterdam: IOS Press, 2010. Disponível em: https://doi.org/10.3233/978-1-60750-606-5-1065. Acesso em: 29 mar. 2024.
    • APA

      Booth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Horn belief change: a contraction core. In Proceedings. Amsterdam: IOS Press. doi:10.3233/978-1-60750-606-5-1065
    • NLM

      Booth R, Meyer T, Varzinczak I, Wassermann R. Horn belief change: a contraction core [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.3233/978-1-60750-606-5-1065
    • Vancouver

      Booth R, Meyer T, Varzinczak I, Wassermann R. Horn belief change: a contraction core [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.3233/978-1-60750-606-5-1065
  • Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMPUTAÇÃO, ONTOLOGIA

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

      MOGUILLANSKY, Martin O e WASSERMANN, Renata e FALAPPA, Marcelo A. An argumentation machinery to reason over inconsistent ontologies. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16952-6_11. Acesso em: 29 mar. 2024.
    • APA

      Moguillansky, M. O., Wassermann, R., & Falappa, M. A. (2010). An argumentation machinery to reason over inconsistent ontologies. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16952-6_11
    • NLM

      Moguillansky MO, Wassermann R, Falappa MA. An argumentation machinery to reason over inconsistent ontologies [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_11
    • Vancouver

      Moguillansky MO, Wassermann R, Falappa MA. An argumentation machinery to reason over inconsistent ontologies [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_11
  • Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR. Unidade: IME

    Assunto: LÓGICA COMBINATÓRIA

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

      DELGRANDE, Jaime P e WASSERMANN, Renata. Horn clause contraction functions: belief set and belief base approaches. 2010, Anais.. Menlo Park: AAAI Press, 2010. Disponível em: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610. Acesso em: 29 mar. 2024.
    • APA

      Delgrande, J. P., & Wassermann, R. (2010). Horn clause contraction functions: belief set and belief base approaches. In Proceedings. Menlo Park: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
    • NLM

      Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
    • Vancouver

      Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2024 mar. 29 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
  • Source: Proceedings. Conference titles: Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

      BOOTH, Richard e MEYER, Thomas e WASSERMANN, Renata. A contraction core for Horn belief change: preliminary report. 2010, Anais.. Toronto: SFU, 2010. . Acesso em: 29 mar. 2024.
    • APA

      Booth, R., Meyer, T., & Wassermann, R. (2010). A contraction core for Horn belief change: preliminary report. In Proceedings. Toronto: SFU.
    • NLM

      Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2024 mar. 29 ]
    • Vancouver

      Booth R, Meyer T, Wassermann R. A contraction core for Horn belief change: preliminary report. Proceedings. 2010 ;[citado 2024 mar. 29 ]
  • Source: Journal of Logic and Computation. Unidade: IME

    Subjects: REVISÃO DE CRENÇAS, ONTOLOGIA

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

      RIBEIRO, Márcio Moretto e WASSERMANN, Renata. Base revision for ontology debugging. Journal of Logic and Computation, v. 19, n. 5, p. 721-743, 2009Tradução . . Disponível em: https://doi.org/10.1093/logcom/exn048. Acesso em: 29 mar. 2024.
    • APA

      Ribeiro, M. M., & Wassermann, R. (2009). Base revision for ontology debugging. Journal of Logic and Computation, 19( 5), 721-743. doi:10.1093/logcom/exn048
    • NLM

      Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/logcom/exn048
    • Vancouver

      Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/logcom/exn048
  • Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Ontology Dynamics - IWOD. Unidade: IME

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

      RIBEIRO, Márcio Moretto et al. Belief contraction in web-ontology languages. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-519/ribeiro.pdf. Acesso em: 29 mar. 2024. , 2009
    • APA

      Ribeiro, M. M., Wassermann, R., Antoniou, G., Flouris, G., & Pan, J. (2009). Belief contraction in web-ontology languages. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-519/ribeiro.pdf
    • NLM

      Ribeiro MM, Wassermann R, Antoniou G, Flouris G, Pan J. Belief contraction in web-ontology languages [Internet]. CEUR Workshop Proceedings. 2009 ; 519 1-13.[citado 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-519/ribeiro.pdf
    • Vancouver

      Ribeiro MM, Wassermann R, Antoniou G, Flouris G, Pan J. Belief contraction in web-ontology languages [Internet]. CEUR Workshop Proceedings. 2009 ; 519 1-13.[citado 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-519/ribeiro.pdf
  • Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

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

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

      FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 29 mar. 2024.
    • APA

      Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21
    • NLM

      Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
    • Vancouver

      Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
  • Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

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

    Acesso à fonteHow to cite
    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: 29 mar. 2024. , 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 2024 mar. 29 ] 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 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-427/paper1.pdf
  • Source: Journal of Logic and Computation. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      FINGER, Marcelo e WASSERMANN, Renata. Anytime approximations of classical logic from above. Journal of Logic and Computation, v. 17, n. 1, p. 53-82, 2007Tradução . . Disponível em: https://doi.org/10.1093/logcom/exl018. Acesso em: 29 mar. 2024.
    • APA

      Finger, M., & Wassermann, R. (2007). Anytime approximations of classical logic from above. Journal of Logic and Computation, 17( 1), 53-82. doi:10.1093/logcom/exl018
    • NLM

      Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/logcom/exl018
    • Vancouver

      Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/logcom/exl018
  • Source: Theoretical Computer Science. Unidade: IME

    Assunto: 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

      FINGER, Marcelo e WASSERMANN, Renata. The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2006.01.007. Acesso em: 29 mar. 2024.
    • APA

      Finger, M., & Wassermann, R. (2006). The universe of propositional approximations. Theoretical Computer Science, 355( 2), 153-166. doi:10.1016/j.tcs.2006.01.007
    • NLM

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007
    • Vancouver

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007
  • Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Subjects: REPRESENTAÇÃO DE CONHECIMENTO, LINGUAGENS FORMAIS

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

      RIBEIRO, Márcio Moretto e WASSERMANN, Renata. First steps towards tevising 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-03.pdf. Acesso em: 29 mar. 2024. , 2006
    • APA

      Ribeiro, M. M., & Wassermann, R. (2006). First steps towards tevising 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-03.pdf
    • NLM

      Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
    • Vancouver

      Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf
  • Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Subjects: LÓGICA, LINGUAGENS FORMAIS

    Acesso à fonteHow to cite
    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: 29 mar. 2024. , 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 2024 mar. 29 ] 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 2024 mar. 29 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf
  • Unidade: IME

    Assunto: DESCRIÇÃO DE SISTEMAS (ARQUITETURA DE COMPUTADORES)

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

      PAZ TRILLO, Christian Danniel e WASSERMANN, Renata e KON, Fábio. A pattern-based tool for learning design patterns. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b8be41bc-86f2-4505-a87d-e790771411ed/1457494.pdf. Acesso em: 29 mar. 2024. , 2005
    • APA

      Paz Trillo, C. D., Wassermann, R., & Kon, F. (2005). A pattern-based tool for learning design patterns. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b8be41bc-86f2-4505-a87d-e790771411ed/1457494.pdf
    • NLM

      Paz Trillo CD, Wassermann R, Kon F. A pattern-based tool for learning design patterns [Internet]. 2005 ;[citado 2024 mar. 29 ] Available from: https://repositorio.usp.br/directbitstream/b8be41bc-86f2-4505-a87d-e790771411ed/1457494.pdf
    • Vancouver

      Paz Trillo CD, Wassermann R, Kon F. A pattern-based tool for learning design patterns [Internet]. 2005 ;[citado 2024 mar. 29 ] Available from: https://repositorio.usp.br/directbitstream/b8be41bc-86f2-4505-a87d-e790771411ed/1457494.pdf
  • Source: Journal of the Brazilian Computer Society. Unidades: IME, FFLCH

    Subjects: ONTOLOGIA, RECUPERAÇÃO DA INFORMAÇÃO

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

      PAZ-TRILLO, Christian e WASSERMANN, Renata e BRAGA, Paula Priscila. An information retrieval application using ontologies. Journal of the Brazilian Computer Society, v. no 2005, n. 2, p. 17-31, 2005Tradução . . Disponível em: https://doi.org/10.1007/BF03192373. Acesso em: 29 mar. 2024.
    • APA

      Paz-Trillo, C., Wassermann, R., & Braga, P. P. (2005). An information retrieval application using ontologies. Journal of the Brazilian Computer Society, no 2005( 2), 17-31. doi:10.1007/BF03192373
    • NLM

      Paz-Trillo C, Wassermann R, Braga PP. An information retrieval application using ontologies [Internet]. Journal of the Brazilian Computer Society. 2005 ; no 2005( 2): 17-31.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/BF03192373
    • Vancouver

      Paz-Trillo C, Wassermann R, Braga PP. An information retrieval application using ontologies [Internet]. Journal of the Brazilian Computer Society. 2005 ; no 2005( 2): 17-31.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/BF03192373
  • Source: Proceedings. Conference titles: International Conference on Informatics in Control, Automation and Robotics. Unidade: IME

    Subjects: ROBÓTICA, SISTEMAS AUTÔNOMOS, SISTEMAS MULTIAGENTES

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

      SILVA, Flávio Soares Corrêa da et al. Intelligent mobile multi-robotic systems: some challenges and possible solutions. 2005, Anais.. Setúbal: SciTePress, 2005. Disponível em: https://doi.org/10.5220/0001190904790485. Acesso em: 29 mar. 2024.
    • APA

      Silva, F. S. C. da, Wassermann, R., Melo, A. C. V. de, Barros, L. N. de, & Finger, M. (2005). Intelligent mobile multi-robotic systems: some challenges and possible solutions. In Proceedings. Setúbal: SciTePress. doi:10.5220/0001190904790485
    • NLM

      Silva FSC da, Wassermann R, Melo ACV de, Barros LN de, Finger M. Intelligent mobile multi-robotic systems: some challenges and possible solutions [Internet]. Proceedings. 2005 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.5220/0001190904790485
    • Vancouver

      Silva FSC da, Wassermann R, Melo ACV de, Barros LN de, Finger M. Intelligent mobile multi-robotic systems: some challenges and possible solutions [Internet]. Proceedings. 2005 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.5220/0001190904790485
  • Source: Journal of Logics and Computation. Unidade: IME

    Assunto: LÓGICA COMBINATÓRIA

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

      FINGER, Marcelo e WASSERMANN, Renata. Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, v. 12, n. 2, p. 179-204, 2004Tradução . . Disponível em: https://doi.org/10.1007/BF03192373. Acesso em: 29 mar. 2024.
    • APA

      Finger, M., & Wassermann, R. (2004). Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, 12( 2), 179-204. doi:10.1007/BF03192373
    • NLM

      Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/BF03192373
    • Vancouver

      Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/BF03192373
  • Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS

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

      RIANI, Joselyto e WASSERMANN, Renata. Using relevance to speed up inference: some empirical results. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_3. Acesso em: 29 mar. 2024.
    • APA

      Riani, J., & Wassermann, R. (2004). Using relevance to speed up inference: some empirical results. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_3
    • NLM

      Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
    • Vancouver

      Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 mar. 29 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
  • Source: Studia Logica. Unidade: IME

    Assunto: 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

      WASSERMANN, Renata. Generalized change and the meaning of rationality postulates. Studia Logica, v. 73, n. 2, p. 299-319, 2003Tradução . . Disponível em: https://doi.org/10.1023%2FA%3A1022992115613. Acesso em: 29 mar. 2024.
    • APA

      Wassermann, R. (2003). Generalized change and the meaning of rationality postulates. Studia Logica, 73( 2), 299-319. doi:10.1023%2FA%3A1022992115613
    • NLM

      Wassermann R. Generalized change and the meaning of rationality postulates [Internet]. Studia Logica. 2003 ; 73( 2): 299-319.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1023%2FA%3A1022992115613
    • Vancouver

      Wassermann R. Generalized change and the meaning of rationality postulates [Internet]. Studia Logica. 2003 ; 73( 2): 299-319.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1023%2FA%3A1022992115613
  • Source: Mind. Unidade: IME

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

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

      FUHRMANN, Andre e WASSERMANN, Renata. Change, choice and inference. [Book review]. Mind. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/mind/112.448.790. Acesso em: 29 mar. 2024. , 2003
    • APA

      Fuhrmann, A., & Wassermann, R. (2003). Change, choice and inference. [Book review]. Mind. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/mind/112.448.790
    • NLM

      Fuhrmann A, Wassermann R. Change, choice and inference. [Book review] [Internet]. Mind. 2003 ; 112( 448): 790-792.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/mind/112.448.790
    • Vancouver

      Fuhrmann A, Wassermann R. Change, choice and inference. [Book review] [Internet]. Mind. 2003 ; 112( 448): 790-792.[citado 2024 mar. 29 ] Available from: https://doi.org/10.1093/mind/112.448.790

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