ReP USP - Resultado da busca

Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
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
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 nov. 2025.
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 2025 nov. 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 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Tese (Doutorado)
Independência parcial no problema da satisfazibilidade probabilística (2018)
Morais, Eduardo Menezes de; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PROBABILIDADE, PROGRAMAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/. Acesso em: 27 nov. 2025.
APA
Morais, E. M. de. (2018). Independência parcial no problema da satisfazibilidade probabilística (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
NLM
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Vancouver
Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 27 nov. 2025.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2025 nov. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2025 nov. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Artigo de periodico
A logic-based agent that plans for extended reachability goals (2008)
Pereira, Silvio Lago; Barros, Leliane Nunes de
Source: Autonomous Agents and Multi-Agent Systems. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio Lago e BARROS, Leliane Nunes de. A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, v. 16, p. 327-344, 2008Tradução . . Disponível em: https://doi.org/10.1007/s10458-008-9034-0. Acesso em: 27 nov. 2025.
APA
Pereira, S. L., & Barros, L. N. de. (2008). A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, 16, 327-344. doi:10.1007/s10458-008-9034-0
NLM
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10458-008-9034-0
Vancouver
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10458-008-9034-0
Trabalho de evento-anais periodico
The ontology reviser plug-in for Protégé (2008)
Ribeiro, Márcio Moretto ; Wassermann, Renata
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
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: 27 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. 27 ] 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. 27 ] Available from: http://ceur-ws.org/Vol-427/paper1.pdf
Parte de monografia/livro
Aquiles e a tartaruga (2002)
Costa, Newton Carneiro Affonso da
Source: Jornal de resenhas: de abril de 2001 a novembro de 2002. Unidade: FFLCH
Subjects: INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMUNICAÇÃO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da. Aquiles e a tartaruga. Jornal de resenhas: de abril de 2001 a novembro de 2002. Tradução . São Paulo: Discurso Editorial, 2002. . . Acesso em: 27 nov. 2025.
APA
Costa, N. C. A. da. (2002). Aquiles e a tartaruga. In Jornal de resenhas: de abril de 2001 a novembro de 2002. São Paulo: Discurso Editorial.
NLM
Costa NCA da. Aquiles e a tartaruga. In: Jornal de resenhas: de abril de 2001 a novembro de 2002. São Paulo: Discurso Editorial; 2002. [citado 2025 nov. 27 ]
Vancouver
Costa NCA da. Aquiles e a tartaruga. In: Jornal de resenhas: de abril de 2001 a novembro de 2002. São Paulo: Discurso Editorial; 2002. [citado 2025 nov. 27 ]
Artigo de periodico
Local diagnosis (2001)
Wassermann, Renata
Source: Journal of Applied Non-Classical Logics. Unidade: IME
Subjects: LÓGICA, CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Local diagnosis. Journal of Applied Non-Classical Logics, v. 11, n. 1-2, p. 107-129, 2001Tradução . . Disponível em: https://doi.org/10.3166/jancl.11.107-129. Acesso em: 27 nov. 2025.
APA
Wassermann, R. (2001). Local diagnosis. Journal of Applied Non-Classical Logics, 11( 1-2), 107-129. doi:10.3166/jancl.11.107-129
NLM
Wassermann R. Local diagnosis [Internet]. Journal of Applied Non-Classical Logics. 2001 ; 11( 1-2): 107-129.[citado 2025 nov. 27 ] Available from: https://doi.org/10.3166/jancl.11.107-129
Vancouver
Wassermann R. Local diagnosis [Internet]. Journal of Applied Non-Classical Logics. 2001 ; 11( 1-2): 107-129.[citado 2025 nov. 27 ] Available from: https://doi.org/10.3166/jancl.11.107-129
Artigo de jornal-resenha
Aquiles e a tartaruga (2001)
Costa, Newton Carneiro Affonso da
Source: Folha de São Paulo. Unidade: FFLCH
Subjects: EPISTEMOLOGIA, INTELIGÊNCIA ARTIFICIAL, PROCESSO DE CONHECIMENTO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da. Aquiles e a tartaruga. Folha de São Paulo. São Paulo: Faculdade de Filosofia, Letras e Ciências Humanas, Universidade de São Paulo. . Acesso em: 27 nov. 2025. , 2001
APA
Costa, N. C. A. da. (2001). Aquiles e a tartaruga. Folha de São Paulo. São Paulo: Faculdade de Filosofia, Letras e Ciências Humanas, Universidade de São Paulo.
NLM
Costa NCA da. Aquiles e a tartaruga. Folha de São Paulo. 2001 ;(11 ago. 2001. 77): 3.[citado 2025 nov. 27 ]
Vancouver
Costa NCA da. Aquiles e a tartaruga. Folha de São Paulo. 2001 ;(11 ago. 2001. 77): 3.[citado 2025 nov. 27 ]
Parte de monografia/livro
On structured belief bases (2001)
Wassermann, Renata
Source: Frontiers in belief revision. Unidade: IME
Subjects: LÓGICA, TEORIA DO CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. On structured belief bases. Frontiers in belief revision. Tradução . Dordrecht: Springer, 2001. . Disponível em: https://doi.org/10.1007/978-94-015-9817-0_18. Acesso em: 27 nov. 2025.
APA
Wassermann, R. (2001). On structured belief bases. In Frontiers in belief revision. Dordrecht: Springer. doi:10.1007/978-94-015-9817-0_18
NLM
Wassermann R. On structured belief bases [Internet]. In: Frontiers in belief revision. Dordrecht: Springer; 2001. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-94-015-9817-0_18
Vancouver
Wassermann R. On structured belief bases [Internet]. In: Frontiers in belief revision. Dordrecht: Springer; 2001. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-94-015-9817-0_18
Artigo de periodico
Computing posterior upper expectations (2000)
Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, PROBABILIDADE E ESTATISTICA, LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi. Computing posterior upper expectations. International Journal of Approximate Reasoning, v. 24, n. 2-3, p. 191-205, 2000Tradução . . Disponível em: https://doi.org/10.1016/s0888-613x(00)00034-7. Acesso em: 27 nov. 2025.
APA
Cozman, F. G. (2000). Computing posterior upper expectations. International Journal of Approximate Reasoning, 24( 2-3), 191-205. doi:10.1016/s0888-613x(00)00034-7
NLM
Cozman FG. Computing posterior upper expectations [Internet]. International Journal of Approximate Reasoning. 2000 ; 24( 2-3): 191-205.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/s0888-613x(00)00034-7
Vancouver
Cozman FG. Computing posterior upper expectations [Internet]. International Journal of Approximate Reasoning. 2000 ; 24( 2-3): 191-205.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/s0888-613x(00)00034-7
Artigo de periodico
Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions (1999)
Cozman, Fabio Gagliardi
Source: Journal of Computational and Graphical Statistics. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions. Journal of Computational and Graphical Statistics, v. 8, n. 4, p. 824-838, 1999Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf. Acesso em: 27 nov. 2025.
APA
Cozman, F. G. (1999). Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions. Journal of Computational and Graphical Statistics, 8( 4), 824-838. Recuperado de https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
NLM
Cozman FG. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions [Internet]. Journal of Computational and Graphical Statistics. 1999 ; 8( 4): 824-838.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
Vancouver
Cozman FG. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions [Internet]. Journal of Computational and Graphical Statistics. 1999 ; 8( 4): 824-838.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
Relatorio tecnico
Common fuzzy logic background to neural networks and linguistic synthesis technique (1992)
Maranca, Alfredo Portinari Greggio Lucente
Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PSICOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARANCA, Alfredo Portinari Greggio Lucente. Common fuzzy logic background to neural networks and linguistic synthesis technique. . São Paulo: Iea. . Acesso em: 27 nov. 2025. , 1992
APA
Maranca, A. P. G. L. (1992). Common fuzzy logic background to neural networks and linguistic synthesis technique. São Paulo: Iea.
NLM
Maranca APGL. Common fuzzy logic background to neural networks and linguistic synthesis technique. 1992 ;[citado 2025 nov. 27 ]
Vancouver
Maranca APGL. Common fuzzy logic background to neural networks and linguistic synthesis technique. 1992 ;[citado 2025 nov. 27 ]

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Funding Agencies

Indexado em