Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the logic of theory change iteration of expansionEduardo Fermé Renata WassermannJournal of the Brazilian Computer Society Porto Alegre v. 24, n. 1, p. 1-9, 2018Porto Alegre 2018Localização: IME - Inst. Matemática e Estatística (PROD-2895961 )(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Iterated belief change the case of expansion into inconsistencyEduardo Fermé Renata Wassermann; Brazilian Conference on Intelligent Systems (BRACIS) (7. 2017 Uberlandia, BR)Proceedings Piscataway : IEEE, 2018Piscataway IEEE 2018Localização: IME - Inst. Matemática e Estatística (PROD-2875119 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Algorithms for multiple contraction and an application to OWL ontologiesFillipe Manoel Xavier Resina Márcio Moretto Ribeiro; Renata Wassermann; Brazilian Conference on Intelligent Systems - BRACIS (2014 São Carlos)Proceedings Los Alamitos: IEEE, 2014Los Alamitos IEEE 2014Localização: IME - Inst. Matemática e Estatística (PROD-2685554 )(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Towards belief contraction without compactnessJandson S Ribeiro Abhaya Nayak; Renata Wassermann; International Conference on Principles of Knowledge Representation and Reasoning - KR (16. 2018 Tempe, Arizona)Proceedings Palo Alto : AAAI Press, 2018Palo Alto AAAI Press 2018Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
Two AGM-style characterizations of model repairPaulo T Guerra Renata Wassermann; International Conference on Principles of Knowledge Representation and Reasoning - KR (16. 2018 Tempe, Arizona)Proceedings Palo Alto : AAAI Press, 2018Palo Alto AAAI Press 2018Acesso online. A biblioteca também possui exemplares impressos. |