ORCA
Online Research @ Cardiff

Clear Cookie - decide language by browser settings

Browse by Current Cardiff authors

Number of items: 7.

Ozaki, Ana and Santos Ribeiro Santos, Jandson 2026. Model change for description logic concepts. Presented at: The 40th Annual AAAI Conference on Artificial Intelligence, Singapore, 20 - 27 January 2026. Published in: Koenig, Sven, Jenkins, Chad and Taylor, Matthew E. eds. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, pp. 19321-19328. 10.1609/aaai.v40i23.39008

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 2025. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization, pp. 429-439. 10.24963/kr.2025/42

Thimm, Matthias, Santos Ribeiro Santos, Jandson, Peuter, Dennis and Sofronie-Stokkermans, Viorica 2025. On minimal inconsistent signatures and their application to inconsistency measurement. Presented at: NMR’25, Melbourne, Australia, 11-13 November 2025. Published in: Rapberger, Anna and Rudolph, Sebastian eds. CEUR Workshop Proceedings. CEUR, pp. 267-280.

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. Published in: Giordano, Laura, Jung, Jean Christoph and Ozaki, Ana eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024). CEUR Workshop Proceedings. , vol.3739 CEUR Workshop Proceedings,

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, Jandson 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 Sep 17 02:58:27 2026 BST.