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.
103 Publications
2025 | Journal Article | LibreCat-ID: 61471
G. Governatori and A.-Y. 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, pp. 132–133, 2025, doi: 10.1017/S1471068425000079.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 63857
A.-Y. Turhan, “Think Globally, Attend Locally,” Künstliche Intell., vol. 39, no. 4, pp. 271–272, 2025, doi: 10.1007/S13218-025-00894-9.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63888
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” in Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, 2025.
LibreCat
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 56488
R. Peñaloza and A.-Y. Turhan, “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations,” in Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, 2024, vol. 15183, pp. 142–158, doi: 10.1007/978-3-031-72407-7_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract),” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
R. Peñaloza and A.-Y. Turhan, “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations,” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
2023 | Journal Article | LibreCat-ID: 52861
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” CoRR, vol. abs/2307.15439, 2023, doi: 10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk),” in Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, 2023, vol. 3515.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” in ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), 2023, vol. 372, pp. 708–715, doi: 10.3233/FAIA230335.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
A.-Y. Turhan, “A Double Take at Conferences: The Hybrid Format,” KI - Künstliche Intelligenz, vol. 36, no. 1, pp. 1–4, 2022, doi: 10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\),” in Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, 2022, vol. 3197, pp. 159–162.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52924
S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal ϵL concepts with next and global,” in SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, 2022, pp. 903–910, doi: 10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” Theory Pract. Log. Program., vol. 22, no. 2, pp. 162–192, 2022, doi: 10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract),” in Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, 2022, vol. 3263.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences: Levelling Technicality,” in Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, 2022, vol. 3242, pp. 90–101.
LibreCat