Revising system specifications in temporal logic (2022)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- DOI: 10.1007/s10849-022-09376-9
- Subjects: REVISÃO DE CRENÇAS; LÓGICA MATEMÁTICA; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Journal of Logic, Language and Information
- ISSN: 0925-8531
- Volume/Número/Paginação/Ano: v. 31, n. 4, p. 591-618, 2022
- Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 10 fev. 2026. , 2022 -
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9 -
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/s10849-022-09376-9 -
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/s10849-022-09376-9 - 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 o DOI: 10.1007/s10849-022-09376-9 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3124181.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
