ORCA
Online Research @ CardiffÂ
Browse by Current Cardiff authors
![[up]](/style/images/multi_up.png)
Up a levelNumber 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 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 |
|
|
| 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. |
|