ReP USP - Resultado da busca

Trabalho de evento
Hyperintensional models and belief change (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional models and belief change. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_30. Acesso em: 05 ago. 2024.
APA
Souza, M., & Wassermann, R. (2022). Hyperintensional models and belief change. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_30
NLM
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Vancouver
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
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: 05 ago. 2024. , 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 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Parte de monografia/livro
Pseudo-contractions as gentle repairs (2019)
Matos, Vinícius Bitencourt ; Guimarães, Ricardo ; Santos, Yuri David ; Wassermann, Renata
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: ONTOLOGIAS, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATOS, Vinícius Bitencourt et al. Pseudo-contractions as gentle repairs. 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_18. Acesso em: 05 ago. 2024.
APA
Matos, V. B., Guimarães, R., Santos, Y. D., & Wassermann, R. (2019). Pseudo-contractions as gentle repairs. 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_18
NLM
Matos VB, Guimarães R, Santos YD, Wassermann R. Pseudo-contractions as gentle repairs [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 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_18
Vancouver
Matos VB, Guimarães R, Santos YD, Wassermann R. Pseudo-contractions as gentle repairs [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 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_18
Trabalho de evento
Toward the revision of CTL models through Kripke modal transition systems (2013)
Guerra, Paulo T; Andrade, Aline; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: LÓGICA MODAL, 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 ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 05 ago. 2024.
APA
Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9
NLM
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Vancouver
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Trabalho de evento
A framework for empirical evaluation of belief change operators (2012)
Lundberg, Renato U; Ribeiro, Márcio Moretto; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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
LUNDBERG, Renato U e RIBEIRO, Márcio Moretto e WASSERMANN, Renata. A framework for empirical evaluation of belief change operators. 2012, Anais.. Berlin: Springer, 2012. Disponível em: https://doi.org/10.1007/978-3-642-34459-6_2. Acesso em: 05 ago. 2024.
APA
Lundberg, R. U., Ribeiro, M. M., & Wassermann, R. (2012). A framework for empirical evaluation of belief change operators. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-34459-6_2
NLM
Lundberg RU, Ribeiro MM, Wassermann R. A framework for empirical evaluation of belief change operators [Internet]. Proceedings. 2012 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-34459-6_2
Vancouver
Lundberg RU, Ribeiro MM, Wassermann R. A framework for empirical evaluation of belief change operators [Internet]. Proceedings. 2012 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-34459-6_2
Trabalho de evento
Revision of CTL models (2010)
Guerra, Paulo T ; Wassermann, Renata
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
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: 05 ago. 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 ago. 05 ] 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 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
Trabalho de evento
An argumentation machinery to reason over inconsistent ontologies (2010)
Moguillansky, Martin O ; Wassermann, Renata ; Falappa, Marcelo A
Source: Proceedings. Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMPUTAÇÃO, ONTOLOGIAS
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: 05 ago. 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 ago. 05 ] 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 ago. 05 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_11
Trabalho de evento
Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo ; Wassermann, Renata
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
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: 05 ago. 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 ago. 05 ] 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 ago. 05 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
Trabalho de evento
Using relevance to speed up inference: some empirical results (2004)
Riani, Joselyto; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS
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: 05 ago. 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 ago. 05 ] 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 ago. 05 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
Trabalho de evento
Attacking the complexity of prioritized inference preliminary report (2002)
Wassermann, Renata ; Chopra, Samir
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: 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 e CHOPRA, Samir. Attacking the complexity of prioritized inference preliminary report. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_4. Acesso em: 05 ago. 2024.
APA
Wassermann, R., & Chopra, S. (2002). Attacking the complexity of prioritized inference preliminary report. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_4
NLM
Wassermann R, Chopra S. Attacking the complexity of prioritized inference preliminary report [Internet]. Proceedings. 2002 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_4
Vancouver
Wassermann R, Chopra S. Attacking the complexity of prioritized inference preliminary report [Internet]. Proceedings. 2002 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_4
Trabalho de evento
Logics for approximate reasoning: approximating classical logic “from above” (2002)
Finger, Marcelo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Logics for approximate reasoning: approximating classical logic “from above”. 2002, Anais.. Berlin: Springer, 2002. Disponível em: https://doi.org/10.1007/3-540-36127-8_3. Acesso em: 05 ago. 2024.
APA
Finger, M., & Wassermann, R. (2002). Logics for approximate reasoning: approximating classical logic “from above”. In Proceedings. Berlin: Springer. doi:10.1007/3-540-36127-8_3
NLM
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_3
Vancouver
Finger M, Wassermann R. Logics for approximate reasoning: approximating classical logic “from above” [Internet]. Proceedings. 2002 ;[citado 2024 ago. 05 ] Available from: https://doi.org/10.1007/3-540-36127-8_3
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: 05 ago. 2024.
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 2024 ago. 05 ] 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 2024 ago. 05 ] Available from: https://doi.org/10.1007/978-94-015-9817-0_18

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Conference titles

Funding Agencies

Non normalized affiliation

Countries of institutions of collaboration