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.
120 Publications
2026 | Conference (Editor) | LibreCat-ID: 63860
Hogan, Aidan, et al., editors. Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings. Springer, 2026, doi:10.1007/978-3-032-08887-1.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 65178 | 
Böhm, Daniela, et al. “Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains.” Proceedings of the 28th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2026), 2026.
LibreCat
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65489
Okulmus, Cem, et al. “Common Foundations for Recursive Shape Languages.” Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.
LibreCat
2026 | Conference (Editor) | LibreCat-ID: 65605
Turhan, Anni-Yasmin, and Jonni Virtema, editors. Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings. Springer, 2026, doi:10.1007/978-3-032-21540-6.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 65566
Haak, Anselm, et al. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66378
Corman, Julien, et al. “Querying Interval-Based Temporal Data with SPARQL.” Proceedings of the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026), 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66379
Gortworst, Bente, et al. “Reaching for the Stars in EL Concept Learning.” Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66631
Gortworst, Bente, et al. “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL.” Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66710
Löhnert, Bianca, et al. “Rewriting Ontology-Mediated Property Graph Queries into GQL.” Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026), 2026.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59840 |
Ahmetaj, Shqiponja, et al. “Common Foundations for SHACL, ShEx, and PG-Schema.” Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12, doi:10.1145/3696410.3714694.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63786 |
Löhnert, Bianca, et al. “Query Rewriting for Nested Navigational Queries over Property Graphs.” Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., edited by Lidia Tendera et al., vol. 4091, 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 63857
Turhan, Anni-Yasmin. “Think Globally, Attend Locally.” Künstliche Intell., vol. 39, no. 4, 2025, pp. 271–272, doi:10.1007/S13218-025-00894-9.
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 61471
Governatori, Guido, and Anni-Yasmin Turhan. “Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022).” Theory Pract. Log. Program., vol. 25, no. 2, 2025, pp. 132–133, doi:10.1017/S1471068425000079.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61874
Haak, Anselm, et al. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 3771721, Association for Computing Machinery (ACM), 2025, doi:10.1145/3771721.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 60496 |
Lanzinger, Matthias, et al. “Soft and Constrained Hypertree Width.” Proceedings of the ACM on Management of Data, vol. 3, no. 2, Association for Computing Machinery (ACM), 2025, pp. 1–25, doi:10.1145/3725251.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 60497 |
Löhnert, Bianca, et al. “Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite.” The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, vol. 15718, Springer Nature Switzerland, 2025, pp. 342--361, doi:10.1007/978-3-031-94575-5_19.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 64905
Bienvenu, Meghyn, et al. “Inconsistency Handling in DatalogMTL.” Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}, edited by James Kwok, International Joint Conferences on Artificial Intelligence Organization, 2025, pp. 4374–4381, doi:10.24963/ijcai.2025/487.
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
Dell, Holger, et al. “Solving Polynomial Equations Over Finite Fields.” Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, 2025, doi:10.1137/1.9781611978322.90.
LibreCat
| DOI