ReP USP - Resultado da busca

Filtros : "IME" "Guerra, Paulo T" "2018" Removido: "ESTATÍSTICA" Limpar

Filtros

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: 07 nov. 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 nov. 07 ] 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 nov. 07 ] 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: 07 nov. 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 nov. 07 ] 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 nov. 07 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf

Digital Library of Intellectual Production of Universidade de São Paulo 2012 - 2024