Revision of CTL models (2010)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- DOI: 10.1007/978-3-642-16952-6_16
- Subjects: INTELIGÊNCIA ARTIFICIAL; SISTEMAS AUTÔNOMOS; REPRESENTAÇÃO DE CONHECIMENTO; REVISÃO DE CRENÇAS
- Keywords: model Check; belief base; kripke model; revision operator
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 19 fev. 2026. -
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 2026 fev. 19 ] 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 2026 fev. 19 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16 - Revising formal program specifications using KMTS
- Toward the revision of CTL models through Kripke modal transition systems
- Belief revision on computation tree logic
- 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
Informações sobre o DOI: 10.1007/978-3-642-16952-6_16 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
