Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
30 Publications
2026 | Conference Paper | LibreCat-ID: 65494
Manzoor, Ali, et al. “Document-Level Relation Extraction Using Reinforcement Learning with Knowledge Graph Feedback.” The Semantic Web – 23rd European Semantic Web Conference, ESWC 2026, Dubrovnik , Croatia, May 10-14, 2026, Proceedings, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 65567
Koopmann, Patrick, et al. “Can You Tell the Difference? Contrastive Explanations for ABox Entailments.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 23, Association for the Advancement of Artificial Intelligence (AAAI), 2026, pp. 19189–97, doi:10.1609/aaai.v40i23.38993.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 65566
Haak, Anselm, et al. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. 2026.
LibreCat
2025 | Conference Paper | LibreCat-ID: 63888
Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” Proceedings of the 38th International Workshop on Description Logics - DL 2025, edited by Lidia Tendera et al., 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 59910
Mahmood, Yasir, et al. “Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 14, Association for the Advancement of Artificial Intelligence (AAAI), 2025, pp. 15058–66, doi:10.1609/aaai.v39i14.33651.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63572
Demir, Caglar, et al. “Tree-Based OWL Class Expression Learner over Large Graphs.” Lecture Notes in Computer Science, Springer Nature Switzerland, 2025, doi:10.1007/978-3-032-06066-2_29.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59912
Hannula, Miika, et al. “Logics with Probabilistic Team Semantics and the Boolean Negation.” Journal of Logic and Computation, vol. 35, no. 3, Oxford University Press (OUP), 2025, doi:10.1093/logcom/exaf021.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 65734 | 
Kamdem Teyou, Louis Mozart, et al. Neural Reasoning for Robust Instance Retrieval in SHOIQ. 2025, doi:https://doi.org/10.1145/3731443.377134.
LibreCat
| DOI
| Download (ext.)
2024 | Book Chapter | LibreCat-ID: 54580
Mahmood, Yasir, et al. “Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.” Lecture Notes in Computer Science, Springer Nature Switzerland, 2024, doi:10.1007/978-3-031-56940-1_2.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 54092
Kontinen, Juha, et al. “Parameterized Complexity of Weighted Team Definability.” Mathematical Structures in Computer Science, Cambridge University Press, 2024, pp. 1–15, doi:10.1017/S0960129524000033.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 59911
Kontinen, Juha, et al. “Parameterized Complexity of Weighted Team Definability.” Mathematical Structures in Computer Science, vol. 34, no. 5, Cambridge University Press (CUP), 2024, pp. 375–89, doi:10.1017/s0960129524000033.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58377
Mahmood, Yasir, et al. Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases. 2024, doi:10.1609/AAAI.V39I14.33651.
LibreCat
| DOI
| arXiv
2024 | Book Chapter | LibreCat-ID: 57238
Fichte, Johannes K., et al. “Rejection in Abstract Argumentation: Harder Than Acceptance?” Frontiers in Artificial Intelligence and Applications, IOS Press, 2024, doi:10.3233/faia240867.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 55655
Hecher, Markus, et al. “Quantitative Claim-Centric Reasoning in Logic-Based Argumentation.” Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2024, doi:10.24963/ijcai.2024/377.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Mahmood, Yasir, et al. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” ACM Transactions on Computational Logic, vol. 24, no. 3, Association for Computing Machinery (ACM), 2023, pp. 1–25, doi:10.1145/3582499.
LibreCat
| DOI