Two AGM-style characterizations of model repair (2019)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1007/s10472-019-09656-4
- Subjects: TEORIA DA REPRESENTAÇÃO; LÓGICA; REVISÃO DE CRENÇAS
- Keywords: Model repair; Model checking; Representation theorem
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Annals of Mathematics and Artificial Intelligence
- ISSN: 1012-2443
- Volume/Número/Paginação/Ano: n. 87, p. 233–257, 2019
- Status:
- Nenhuma versão em acesso aberto identificada
-
ABNT
OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 01 abr. 2026. -
APA
Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4 -
NLM
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2026 abr. 01 ] Available from: https://doi.org/10.1007/s10472-019-09656-4 -
Vancouver
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2026 abr. 01 ] Available from: https://doi.org/10.1007/s10472-019-09656-4 - 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
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
- A contraction core for Horn belief change: preliminary report
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2969605.pdf | Direct link | |
 |
2969605.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
