| Towards belief contraction without compactness JS Ribeiro, A Nayak, R Wassermann Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 16 | 2018 |
| Belief change and non-monotonic reasoning sans compactness JS Ribeiro, A Nayak, R Wassermann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3019-3026, 2019 | 12 | 2019 |
| Belief update without compactness in non-finitary languages JS Ribeiro, A Nayak, R Wassermann Proceedings, 2019 | 9 | 2019 |
| Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability JS Ribeiro, M Thimm Proceedings of the 18th International Conference on Principles of Knowledge …, 2021 | 8 | 2021 |
| A 3-valued contraction model checking game: Deciding on the world of partial information JS Ribeiro, A Andrade Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 4 | 2015 |
| Kernel contraction and the order of relevance JS Ribeiro Proceedings of the International Conference on Principles of Knowledge …, 2022 | 3 | 2022 |
| Finite Based Contraction and Expansion via Models R Guimarães, A Ozaki, JS Ribeiro Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence …, 2023 | 2 | 2023 |
| Revising Ontologies via Models: The ALC-formula Case JS Ribeiro, R Guimaraes, A Ozaki | 2 | 2021 |
| Belief change without compactness JSR Santos Macquarie University. São Paulo, 2019 | 2 | 2019 |
| Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report) JS Ribeiro Proceedings http://ceur-ws. org ISSN 1613, 0073, 2022 | 1 | 2022 |
| Eviction and Reception for Description Logic Ontologies R Guimarães, A Ozaki, JS Ribeiro | | 2023 |
| Eviction and Reception for Description Logic Ontologies (Preliminary Results) R Guimarães, A Ozaki, JS Ribeiro | | 2023 |
| Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report) JS Ribeiro | | 2023 |
| Belief Change without Compactness J Santos Ribeiro Santos Macquarie University, 2022 | | 2022 |
| Belief Change without Compactness JS Ribeiro CLEI Electronic Journal 24 (1), 4: 1-4: 17, 2021 | | 2021 |
| Measuring Disagreement with Interpolants JS Ribeiro, V Sofronie-Stokkermans, M Thimm Scalable Uncertainty Management: 14th International Conference, SUM 2020 …, 2020 | | 2020 |
| Belief change without compactness: the case of Knowledge Update JS Ribeiro, A Nayak, R Wassermann 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, 2019 | | 2019 |
| Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos J Santos Instituto de Matemática, 2016 | | 2016 |
| MEASURING INCONSISTENCY WITH THE TABLEAU METHOD JS RIBEIRO, M THIMM | | |
| Finite Belief Base Change via Models R Guimaraes, A Ozaki, JS Ribeiro Scandinavian Logic Symposium (SLSS 2022), 8, 0 | | |
Renata WassermannComputer Science, Universidade de São PauloVerified email at ime.usp.br
