Towards belief contraction without compactness JS Ribeiro, A Nayak, R Wassermann Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 18 | 2018 |
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 | 12 | 2021 |
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 |
Kernel contraction and the order of relevance JS Ribeiro Proceedings of the International Conference on Principles of Knowledge …, 2022 | 4 | 2022 |
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 |
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 | 3 | 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 |
Eviction and Reception for Description Logic Ontologies (Preliminary Results). R Guimarães, A Ozaki, JS Ribeiro NMR, 43-51, 2023 | 1 | 2023 |
Towards a Semantic Construction for Belief Base Contraction (A Preliminary Report) JS Ribeiro Proceedings http://ceur-ws. org ISSN 1613, 0073, 2022 | 1 | 2022 |
The Challenges of Effective AGM Belief Contraction D Klumpp, JS Ribeiro arXiv preprint arXiv:2409.09171, 2024 | | 2024 |
Eviction and reception for description logic concepts A Ozaki, J Santos Ribeiro Santos | | 2024 |
Eviction and Reception for Description Logic Ontologies R Guimarães, A Ozaki, JS Ribeiro Description Logics, 2023 | | 2023 |
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report). JS Ribeiro NMR, 94-103, 2023 | | 2023 |
Measuring Inconsistency with the Tableau Method. JS Ribeiro, M Thimm FLAP 10 (5), 643-691, 2023 | | 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 |