Bringing AGM to computer science (2015)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; RIBEIRO, MARCIO MORETTO - EACH
- Unidades: IME; EACH
- Subjects: LÓGICA; REVISÃO DE CRENÇAS
- Keywords: computer science; AGM; Alchourrón
- Language: Inglês
- Imprenta:
- Source:
- Título: South American Journal of Logic
- ISSN: 2446-6719
- Volume/Número/Paginação/Ano: v. 1, n. 2, p. 447-459, 2015
-
ABNT
WASSERMANN, Renata e RIBEIRO, Márcio Moretto. Bringing AGM to computer science. South American Journal of Logic, v. 1, n. 2, p. 447-459, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf. Acesso em: 27 jan. 2026. -
APA
Wassermann, R., & Ribeiro, M. M. (2015). Bringing AGM to computer science. South American Journal of Logic, 1( 2), 447-459. Recuperado de http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf -
NLM
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2026 jan. 27 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf -
Vancouver
Wassermann R, Ribeiro MM. Bringing AGM to computer science [Internet]. South American Journal of Logic. 2015 ; 1( 2): 447-459.[citado 2026 jan. 27 ] Available from: http://www.sa-logic.org/sajl-v1-i2/08-Wassermann-Ribeiro-SAJL.pdf - The ontology reviser plug-in for Protégé
- Algorithms for multiple contraction and an application to OWL ontologies
- First steps towards tevising ontologies
- Minimal change: Relevance and recovery revisited
- Minimal change in AGM revision for non-classical logics
- Belief contraction in web-ontology languages
- Base revision for ontology debugging
- Partial meet pseudo-contractions
- As ocupações de escolas em São Paulo (2015): autoritarismo burocrático, participação democrática e novas formas de luta social
- AGM-like paraconsistent belief change
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2853546.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
