On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- Subjects: LÓGICA; COMPUTABILIDADE E COMPLEXIDADE; REVISÃO DE CRENÇAS
- Keywords: Linear-time Temporal Logic
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: South American Journal of Logic
- ISSN: 2446-6719
- Volume/Número/Paginação/Ano: v. 4, n. 2, p. 385-406, 2018
- Conference titles: Brazilian Logic Conference - EBL
-
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 30 abr. 2024. , 2018 -
APA
Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf -
NLM
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 30 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf -
Vancouver
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 30 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf - 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
- Hyperintensional Partial Meet Contractions
- Belief contraction in non-classical logics as hyperintensional belief change
- Horn belief change: a contraction core
- Local change in ontologies with atomic decomposition
- Ontology stratification methods: a comparative study
- Abductive expansion of belief bases
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2966295.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas