ReP USP - Resultado da busca

Trabalho de evento-resumo
Contractions based on optimal repairs (extended abstract) (2025)
Baader, Franz; Wassermann, Renata
Fonte: Proceedings - Extended Abstract. Nome do evento: International Joint Conference on Artificial Intelligence - IJCAI - Sister Conferences Best Papers Track. Unidade: IME
Assuntos: ONTOLOGIAS, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BAADER, Franz e WASSERMANN, Renata. Contractions based on optimal repairs (extended abstract). 2025, Anais.. São Paulo: IJCAI, 2025. p. 10852-10857. Disponível em: https://www.ijcai.org/proceedings/2025/1204.pdf. Acesso em: 08 out. 2025.
APA
Baader, F., & Wassermann, R. (2025). Contractions based on optimal repairs (extended abstract). In Proceedings - Extended Abstract (p. 10852-10857). São Paulo: IJCAI. doi:10.24963/ijcai.2025/1204
NLM
Baader F, Wassermann R. Contractions based on optimal repairs (extended abstract) [Internet]. Proceedings - Extended Abstract. 2025 ; 10852-10857.[citado 2025 out. 08 ] Available from: https://www.ijcai.org/proceedings/2025/1204.pdf
Vancouver
Baader F, Wassermann R. Contractions based on optimal repairs (extended abstract) [Internet]. Proceedings - Extended Abstract. 2025 ; 10852-10857.[citado 2025 out. 08 ] Available from: https://www.ijcai.org/proceedings/2025/1204.pdf
Trabalho de evento
Contractions based on optimal repairs (2024)
Baader, Franz; Wassermann, Renata
Fonte: Proceedings. Nome do evento: International Conference on Principles of Knowledge Representation and Reasoning – KR. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, REPRESENTAÇÃO DE CONHECIMENTO, ONTOLOGIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BAADER, Franz e WASSERMANN, Renata. Contractions based on optimal repairs. 2024, Anais.. California: IJCAI Organization, 2024. Disponível em: https://doi.org/10.24963/kr.2024/9. Acesso em: 08 out. 2025.
APA
Baader, F., & Wassermann, R. (2024). Contractions based on optimal repairs. In Proceedings. California: IJCAI Organization. doi:10.24963/kr.2024/9
NLM
Baader F, Wassermann R. Contractions based on optimal repairs [Internet]. Proceedings. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.24963/kr.2024/9
Vancouver
Baader F, Wassermann R. Contractions based on optimal repairs [Internet]. Proceedings. 2024 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.24963/kr.2024/9
Trabalho de evento
A big challenge: tools to guarantee robust and controlled behavior of large language models (2024)
Cozman, Fabio Gagliardi ; Peres, Sarajane Marques ; Finger, Marcelo ; Wassermann, Renata ; Costa, Anna; Gomi, Edson Satoshi ; Correia, Artur Jordão Lima ; Brandão, Anarosa Alves Franco ; Delgado, Karina Valdivia ; Mauá, Denis Deratani ; Pardo, Thiago Alexandre Salgueiro ; Nunes, Fátima de Lourdes dos Santos
Fonte: Anais. Nome do evento: Seminário de Grandes Desafios da Computação. Unidades: EP, EACH, IME, ICMC
Assuntos: LINGUAGEM, INTELIGÊNCIA ARTIFICIAL, CONVERSAÇÃO, PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi et al. A big challenge: tools to guarantee robust and controlled behavior of large language models. 2024, Anais.. Porto Alegre: SBC, 2024. p. 1-5. Disponível em: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf. Acesso em: 08 out. 2025.
APA
Cozman, F. G., Peres, S. M., Finger, M., Wassermann, R., Costa, A., Gomi, E. S., et al. (2024). A big challenge: tools to guarantee robust and controlled behavior of large language models. In Anais (p. 1-5). Porto Alegre: SBC. Recuperado de https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf
NLM
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 out. 08 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf
Vancouver
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 out. 08 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf
Trabalho de evento
Ontology extraction and evaluation for the Blue Amazon (2024)
Soares, Vivian Magri A.; Wassermann, Renata
Fonte: CEUR Workshop Proceedings. Nome do evento: Seminar on Ontology Research in Brazil - ONTOBRAS. Unidade: IME
Assuntos: ONTOLOGIAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOARES, Vivian Magri A. e WASSERMANN, Renata. Ontology extraction and evaluation for the Blue Amazon. 2024, Anais.. Aachen: CEUR-WS, 2024. p. 1-8. Disponível em: https://ceur-ws.org/Vol-3905/master5.pdf. Acesso em: 08 out. 2025.
APA
Soares, V. M. A., & Wassermann, R. (2024). Ontology extraction and evaluation for the Blue Amazon. In CEUR Workshop Proceedings (Vol. 3905, p. 1-8). Aachen: CEUR-WS. Recuperado de https://ceur-ws.org/Vol-3905/master5.pdf
NLM
Soares VMA, Wassermann R. Ontology extraction and evaluation for the Blue Amazon [Internet]. CEUR Workshop Proceedings. 2024 ; 3905 1-8.[citado 2025 out. 08 ] Available from: https://ceur-ws.org/Vol-3905/master5.pdf
Vancouver
Soares VMA, Wassermann R. Ontology extraction and evaluation for the Blue Amazon [Internet]. CEUR Workshop Proceedings. 2024 ; 3905 1-8.[citado 2025 out. 08 ] Available from: https://ceur-ws.org/Vol-3905/master5.pdf
Trabalho de evento
Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra (2023)
Lopes, Washington Roberto ; Zilberman, Beatriz Schicchi; Cruz, Bruna Magrini da; Cruz, Leticia dos Santos Monte; Gomes, Rafaella Alves Lucena; Wassermann, Renata ; Peres, Sarajane Marques ; Silva, Valdinei Freire da
Fonte: Anais. Nome do evento: Encontro Nacional de Inteligência Artificial e Computacional. Unidades: IME, EACH, IAG, ICMC, FFLCH
Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOPES, Washington Roberto et al. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra. 2023, Anais.. Porto Alegre: SBC, 2023. Disponível em: https://doi.org/10.5753/eniac.2023.234546. Acesso em: 08 out. 2025.
APA
Lopes, W. R., Zilberman, B. S., Cruz, B. M. da, Cruz, L. dos S. M., Gomes, R. A. L., Wassermann, R., et al. (2023). Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra. In Anais. Porto Alegre: SBC. doi:10.5753/eniac.2023.234546
NLM
Lopes WR, Zilberman BS, Cruz BM da, Cruz L dos SM, Gomes RAL, Wassermann R, Peres SM, Silva VF da. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra [Internet]. Anais. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/eniac.2023.234546
Vancouver
Lopes WR, Zilberman BS, Cruz BM da, Cruz L dos SM, Gomes RAL, Wassermann R, Peres SM, Silva VF da. Eu, tu, ele, ela, elu, nós, vós, eles, elas, elus por um modelo de linguagem neutra [Internet]. Anais. 2023 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/eniac.2023.234546
Trabalho de evento
Hyperintensional Partial Meet Contractions (2022)
Souza, Marlo ; Wassermann, Renata
Fonte: Proceedings. Nome do evento: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Assunto: REVISÃO DE CRENÇAS
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: 08 out. 2025.
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 2025 out. 08 ] Available from: https://doi.org/10.24963/kr.2022/34
Vancouver
Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2025 out. 08 ] Available from: https://doi.org/10.24963/kr.2022/34
Trabalho de evento-anais periodico
Repairing ontologies via kernel pseudo-contraction (2022)
Matos, Vinícius Bitencourt ; Wassermann, Renata
Fonte: CEUR Workshop Proceedings. Nome do evento: Federated Logic Conference -FLoC. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIAS
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: 08 out. 2025. , 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 2025 out. 08 ] 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 2025 out. 08 ] Available from: https://ceur-ws.org/Vol-3197/paper2.pdf
Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Fonte: Journal of Logic, Language and Information. Nome do evento: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
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: 08 out. 2025. , 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 2025 out. 08 ] 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 2025 out. 08 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

Unidades USP

ReP

Filtros

Unidades USP

Departamento

Autores

Autores USP

Assuntos

Nome do evento

País de publicação

Agência de fomento