ORCA
Online Research @ Cardiff

Clear Cookie - decide language by browser settings

Browse by All Cardiff Authors

Number of items: 5.

Klumpp, Dominik and Santos Ribeiro Santos, Jandson 2025. Effective AGM belief contraction: A journey beyond the finitary realm. Presented at: International Conference on Principles of Knowledge Representation and Reasoning, Melbourne, Australia, 11-17 November.
Item availability restricted.

Santos Ribeiro Santos, Jandson 2024. Semantic constructions for belief base contraction: Partial meet vs smooth kernel. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. pp. 620-630. 10.24963/kr.2024/58

Ozaki, Ana and Santos Ribeiro Santos, Jandson 2024. Eviction and reception for description logic concepts (extended abstract). Presented at: 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, 12 - 21 June. Proceedings 37th International Workshop on Description Logics. , vol.3739

Klumpp, Dominik and Santos Ribeiro Santos, Jandson 2024. Walking the tightrope between expressiveness and uncomputability: AGM contraction beyond the finitary realm. Presented at: The 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), Hanoi, Vietnam, 2-4 November 2024. Published in: Gierasimczuk, Nina and Heyninck, Jesse eds. Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024). , vol.3835 CEUR, pp. 34-43.

Ribeiro, J.S. and Thimm, Matthias 2023. Measuring inconsistency with the tableau method. Journal of Logics and their Applications 10 (5) , pp. 643-691.

This list was generated on Thu Aug 28 01:47:14 2025 BST.