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 do periódico: 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: 21 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 21 ] 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 21 ] Available from: https://www.ijcai.org/Proceedings/11/Papers/477.pdf - Revision of CTL models
- Toward the revision of CTL models through Kripke modal transition systems
- Revising formal program specifications using KMTS
- Revisão de modelos CTL
- Revisão de crenças temporais
- On AGM for Non-Classical Logics
- Ontology repair through partial meet contraction
- Seminar on Ontology Research in Brazil, 6: proceedings
- Hyperintensional models and belief change
- Horn belief change: a contraction core
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas