Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Tese de Doutorado
|
![]() |
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicaMárcio Moretto Ribeiro Renata Wassermann2010Localização: IME - Inst. Matemática e Estatística (IME-T QA860.40.T R484r e.1 )(Acessar) |
3 |
Material Type: Artigo
|
![]() |
Base revision for ontology debuggingMárcio Moretto Ribeiro Renata WassermannJournal of Logic and Computation Oxford v. 19, n. 5, p. 721-743, 2009Oxford 2009Localização: IME - Inst. Matemática e Estatística (PROD-1797085 )(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicasMarcio Moretto Ribeiro Renata Wassermann; Bracis 2012 - Brazilian Conference on Intelligent Systems (2012 Curitiba)Proceedings Porto Alegre : SBC, 2012Porto Alegre SBC 2012Localização: IME - Inst. Matemática e Estatística (PROD-2397175 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Minimal change: Relevance and recovery revisitedMárcio Moretto Ribeiro Renata Wassermann; Giorgos Flouris; Grigoris AntoniouArtificial Intelligence Amsterdam v. 201, p. 59-80, 2013Amsterdam 2013Localização: IME - Inst. Matemática e Estatística (PROD-2448993 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
The ontology reviser plug-in for ProtégéMárcio Moretto Ribeiro Renata Wassermann; Workshop on Ontologies and their Applications - WONTO (3. 2008 Salvador, Bahia)CEUR Workshop Proceedings Aachen v. 427, p. 1-12, 2008Aachen 2008Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Artigo
|
![]() |
Partial meet pseudo-contractionsYuri David Santos Vinícius Bitencourt Matos; Márcio Moretto Ribeiro; Renata WassermannInternational Journal of Approximate Reasoning New York v. 103, p. 11-27, 2018New York 2018Localização: IME - Inst. Matemática e Estatística (PROD-2904589 )(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
A framework for empirical evaluation of belief change operatorsRenato U Lundberg Márcio Moretto Ribeiro; Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (21 2012 Curitiba, PR)Proceedings Berlin : Springer, 2012Berlin Springer 2012Localização: IME - Inst. Matemática e Estatística (PROD-2394278 )(Acessar) |
9 |
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) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Minimal change in AGM revision for non-classical logicsMárcio Moretto Ribeiro Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR 2014 (14. 2014 Viena)Proceedings Palo Alto: AAAI Publications, 2014Palo Alto AAAI Publications 2014Acesso online. A biblioteca também possui exemplares impressos. |