Belief revision on computation tree logic (2011)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- Subjects: TEORIA DA COMPUTAÇÃO; LÓGICA; REVISÃO DE CRENÇAS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: AAAI Press
- Publisher place: Palo Alto
- Date published: 2011
- Source:
- Título: Proceedings
- Conference titles: International Joint Conference on Artificial Intelligence - IJCAI
-
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: 10 abr. 2026. -
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 2026 abr. 10 ] 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 2026 abr. 10 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf - Revising formal program specifications using KMTS
- Revision of CTL models
- Toward the revision of CTL models through Kripke modal transition systems
- Revisão de modelos CTL
- Revisão de crenças temporais
- Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
