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: 28 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. 28 ] 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. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico-carta/editorial
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface (2025)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Source: Journal of Logic and Computation. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC 2021. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. Disponível em: https://academic.oup.com/logcom/article/35/6/exae063/7766080. Acesso em: 28 nov. 2025. , 2025
APA
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. (2025). 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. doi:10.1093/logcom/exae063
NLM
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 nov. 28 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Vancouver
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 nov. 28 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Trabalho de evento-resumo
Conectando revisão de crenças e reparo de ontologias (2025)
Souza, Davy; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Davy e WASSERMANN, Renata. Conectando revisão de crenças e reparo de ontologias. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 115-116. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 28 nov. 2025.
APA
Souza, D., & Wassermann, R. (2025). Conectando revisão de crenças e reparo de ontologias. In Book of abstracts (p. 115-116). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 nov. 28 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento
Belief contraction in non-classical logics as hyperintensional belief change (2021)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 28 nov. 2025.
APA
Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56
NLM
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.24963/kr.2021/56
Vancouver
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.24963/kr.2021/56
Monografia/livro-ed/org
Logic, language, information, and computation (2021)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 28 nov. 2025. , 2021
APA
Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
NLM
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Trabalho de evento-anais periodico
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 28 nov. 2025. , 2020
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 28 nov. 2025.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. 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_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Trabalho de evento-resumo
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 28 nov. 2025.
APA
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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: 28 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. 28 ] 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. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Two AGM-style characterizations of model repair (2019)
Oliveira, Paulo de Tarso Guerra ; Wassermann, Renata
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: TEORIA DA REPRESENTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 28 nov. 2025.
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.[citado 2025 nov. 28 ] Available from: https://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.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
Artigo de periodico
Partial meet pseudo-contractions (2018)
Santos, Yuri David ; Matos, Vinícius Bitencourt ; Ribeiro, Márcio Moretto; Wassermann, Renata
Source: International Journal of Approximate Reasoning. Unidades: EACH, IME
Subjects: ONTOLOGIAS, LÓGICA, REVISÃO DE CRENÇAS
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
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: 28 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. 28 ] 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. 28 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Trabalho de evento
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
Finger, Marcelo ; Preto, Sandro
Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 28 nov. 2025.
APA
Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14
NLM
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Vancouver
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Parte de monografia/livro
Quantitative logic reasoning (2018)
Finger, Marcelo
Source: Contradictions, from consistency to inconsistency. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO DEDUTIVO E INDUTIVO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Quantitative logic reasoning. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_12. Acesso em: 28 nov. 2025.
APA
Finger, M. (2018). Quantitative logic reasoning. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_12
NLM
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Vancouver
Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12
Trabalho de evento-anais periodico
On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
Guerra, Paulo T; Wassermann, Renata
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
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 28 nov. 2025. , 2018
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: Instituto de Matemática e Estatística, Universidade de São Paulo. 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.[citado 2025 nov. 28 ] 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.[citado 2025 nov. 28 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Trabalho de evento
Towards belief contraction without compactness (2018)
Ribeiro, Jandson S ; Nayak, Abhaya ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: SISTEMAS BASEADOS EM CONHECIMENTO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Jandson S e NAYAK, Abhaya e WASSERMANN, Renata. Towards belief contraction without compactness. 2018, Anais.. Palo Alto: AAAI Press, 2018. Disponível em: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060. Acesso em: 28 nov. 2025.
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 ;[citado 2025 nov. 28 ] 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 ;[citado 2025 nov. 28 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18060
Artigo de periodico
Bringing AGM to computer science (2015)
Wassermann, Renata ; Ribeiro, Márcio Moretto
Source: South American Journal of Logic. Unidades: IME, EACH
Subjects: LÓGICA, REVISÃO DE CRENÇAS
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
Artigo de periodico
Horn clause contraction functions (2013)
Delgrande, James P. ; Wassermann, Renata
Source: Journal of Artificial Intelligence Research. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGRANDE, James P. e WASSERMANN, Renata. Horn clause contraction functions. Journal of Artificial Intelligence Research, v. 48, n. 1, p. 475-511, 2013Tradução . . Disponível em: https://doi.org/10.1613/jair.4031. Acesso em: 28 nov. 2025.
APA
Delgrande, J. P., & Wassermann, R. (2013). Horn clause contraction functions. Journal of Artificial Intelligence Research, 48( 1), 475-511. doi:10.1613/jair.4031
NLM
Delgrande JP, Wassermann R. Horn clause contraction functions [Internet]. Journal of Artificial Intelligence Research. 2013 ; 48( 1): 475-511.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1613/jair.4031
Vancouver
Delgrande JP, Wassermann R. Horn clause contraction functions [Internet]. Journal of Artificial Intelligence Research. 2013 ; 48( 1): 475-511.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1613/jair.4031
Trabalho de evento
Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo
Source: Proceedings. Conference titles: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 28 nov. 2025.
APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
NLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 28 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Vancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2025 nov. 28 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Trabalho de evento-resumo
Belief revision and computer science (2012)
Wassermann, Renata
Source: Workshop notes. Conference titles: European Conference on Artificial Intelligence - ECAI. Unidade: IME
Subjects: LÓGICA, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Belief revision and computer science. 2012, Anais.. Grimstad: Centre for Artificial Intelligence Research (CAIR), 2012. Disponível em: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.563.9363&rep=rep1&type=pdf. Acesso em: 28 nov. 2025.
APA
Wassermann, R. (2012). Belief revision and computer science. In Workshop notes. Grimstad: Centre for Artificial Intelligence Research (CAIR). Recuperado de http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.563.9363&rep=rep1&type=pdf
NLM
Wassermann R. Belief revision and computer science [Internet]. Workshop notes. 2012 ;[citado 2025 nov. 28 ] Available from: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.563.9363&rep=rep1&type=pdf
Vancouver
Wassermann R. Belief revision and computer science [Internet]. Workshop notes. 2012 ;[citado 2025 nov. 28 ] Available from: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.563.9363&rep=rep1&type=pdf

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation