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 do periódico: Proceedings
- Conference titles: Ibero-American Conference on Artificial Intelligence - IBERAMIA
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 21 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 21 ] 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 21 ] Available from: https://doi.org/10.1007/978-3-642-16952-6_16 - Toward the revision of CTL models through Kripke modal transition systems
- Revising formal program specifications using KMTS
- Belief revision on computation tree logic
- 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
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