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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Trabalho de evento
Hyperintensional Partial Meet Contractions (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: 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: 29 maio 2024.
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 2024 maio 29 ] Available from: https://doi.org/10.24963/kr.2022/34
Vancouver
Souza M, Wassermann R. Hyperintensional Partial Meet Contractions [Internet]. Proceedings. 2022 ;[citado 2024 maio 29 ] 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
Source: CEUR Workshop Proceedings. Conference titles: Federated Logic Conference -FLoC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ONTOLOGIA
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: 29 maio 2024. , 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 2024 maio 29 ] 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 2024 maio 29 ] 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
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: 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: 29 maio 2024. , 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 2024 maio 29 ] 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 2024 maio 29 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Tese (Doutorado)
Studies on non-prioritized multiple belief revision (2021)
Resina, Fillipe Manoel Xavier ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: 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
RESINA, Fillipe Manoel Xavier. Studies on non-prioritized multiple belief revision. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/. Acesso em: 29 maio 2024.
APA
Resina, F. M. X. (2021). Studies on non-prioritized multiple belief revision (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
NLM
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 maio 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
Vancouver
Resina FMX. Studies on non-prioritized multiple belief revision [Internet]. 2021 ;[citado 2024 maio 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122021-115606/
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: 29 maio 2024.
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 2024 maio 29 ] 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 2024 maio 29 ] Available from: https://doi.org/10.24963/kr.2021/56
Dissertação (Mestrado)
Pseudo-contraction operations for description logics (2021)
Matos, Vinícius Bitencourt ; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS, 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. Pseudo-contraction operations for description logics. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/. Acesso em: 29 maio 2024.
APA
Matos, V. B. (2021). Pseudo-contraction operations for description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
NLM
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 maio 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
Vancouver
Matos VB. Pseudo-contraction operations for description logics [Internet]. 2021 ;[citado 2024 maio 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-02092021-131750/
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: 29 maio 2024.
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 2024 maio 29 ] 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 2024 maio 29 ] 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: ONTOLOGIA, 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: 29 maio 2024.
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 2024 maio 29 ] 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 2024 maio 29 ] Available from: https://doi.org/10.1016/j.ijar.2018.08.006
Trabalho de evento-resumo
Two AGM-style characterizations of model repair (2018)
Guerra, Paulo T; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: SISTEMAS BASEADOS EM 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. Two AGM-style characterizations of model repair. 2018, Anais.. Palo Alto: AAAI Press, 2018. Disponível em: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042. Acesso em: 29 maio 2024.
APA
Guerra, P. T., & Wassermann, R. (2018). Two AGM-style characterizations of model repair. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
NLM
Guerra PT, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Proceedings. 2018 ;[citado 2024 maio 29 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
Vancouver
Guerra PT, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Proceedings. 2018 ;[citado 2024 maio 29 ] Available from: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18042
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: 29 maio 2024. , 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 2024 maio 29 ] 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 2024 maio 29 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Tese (Doutorado)
Revisão de crenças temporais (2016)
Oliveira, Paulo de Tarso Guerra; Wassermann, Renata (Orientador)
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
OLIVEIRA, Paulo de Tarso Guerra. Revisão de crenças temporais. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/. Acesso em: 29 maio 2024.
APA
Oliveira, P. de T. G. (2016). Revisão de crenças temporais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
NLM
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2024 maio 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
Vancouver
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2024 maio 29 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
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: 29 maio 2024.
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 2024 maio 29 ] 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 2024 maio 29 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf
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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Trabalho de evento
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas (2012)
Ribeiro, Marcio Moretto; Wassermann, Renata
Source: Proceedings. Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems. 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
RIBEIRO, Marcio Moretto e WASSERMANN, Renata. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 29 maio 2024.
APA
Ribeiro, M. M., & Wassermann, R. (2012). Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. In Proceedings. Porto Alegre: SBC.
NLM
Ribeiro MM, Wassermann R. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. Proceedings. 2012 ;[citado 2024 maio 29 ]
Vancouver
Ribeiro MM, Wassermann R. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. Proceedings. 2012 ;[citado 2024 maio 29 ]
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: 29 maio 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 maio 29 ] 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 maio 29 ] Available from: https://doi.org/10.1007/978-3-642-34459-6_2
Trabalho de evento
Belief revision on computation tree logic (2011)
Guerra, Paulo T ; Wassermann, Renata
Source: Proceedings. Conference titles: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Subjects: TEORIA DA COMPUTAÇÃ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
GUERRA, Paulo T e WASSERMANN, Renata. Belief revision on computation tree logic. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://www.ijcai.org/Proceedings/11/Papers/477.pdf. Acesso em: 29 maio 2024.
APA
Guerra, P. T., & Wassermann, R. (2011). Belief revision on computation tree logic. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://www.ijcai.org/Proceedings/11/Papers/477.pdf
NLM
Guerra PT, Wassermann R. Belief revision on computation tree logic [Internet]. Proceedings. 2011 ;[citado 2024 maio 29 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf
Vancouver
Guerra PT, Wassermann R. Belief revision on computation tree logic [Internet]. Proceedings. 2011 ;[citado 2024 maio 29 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf
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: 29 maio 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 maio 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 maio 29 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16
Artigo de periodico
Base revision for ontology debugging (2009)
Ribeiro, Márcio Moretto ; Wassermann, Renata
Source: Journal of Logic and Computation. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIA
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 maio 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 maio 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 maio 29 ] Available from: https://doi.org/10.1093/logcom/exn048
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: 29 maio 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 maio 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 maio 29 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation