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 |
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 | 9 | 2021 |
Belief update without compactness in non-finitary languages JS Ribeiro, A Nayak, R Wassermann Proceedings, 2019 | 9 | 2019 |
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 | | |