A. Ivliev, L. Gerlach, S. Meusel, J. Steinberg, und M. Krötzsch. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, Seite 743–754. International Joint Conferences on Artificial Intelligence Organization, (November 2024)
K. Amouzouvi, B. Song, S. Vahdati, und J. Lehmann. Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, Seite 9832--9842. ELRA and ICCL, (2024)
J. Lehmann, S. Ferré, und S. Vahdati. 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), Volume 372 von Frontiers in Artificial Intelligence and Applications, Seite 1348--1356. IOS Press, (2023)
C. Schröder, und G. Heyer. Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, Seite 11987--12004. Miami, Florida, USA, Association for Computational Linguistics, (November 2024)
A. Khan, H. Farzaneh, K. Friebel, C. Fournier, L. Chelini, und J. Castrillon. Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'25), Association for Computing Machinery, (März 2025)
N. Kumar, S. Segvić, A. Eslami, und S. Gumhold. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Seite 5156-5165. (Juni 2023)
A. Al-Fatlawi, M. Schroeder, und A. Stewart. Communications biology, (23.01.2023)Funding Information: We gratefully acknowledge support from ZIH of TU Dresden and the BMBF Project scads.ai..
S. Ellmauthaler, {. Gaggl, D. Rusovac, und {. Wallner. Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), Volume 220146 von FAIA, Seite 355–356. Netherlands, IOS Press, Amsterdam u. a., (01.09.2022)Funding Information: 1This work is partly supported by the BMBF, Grant 01IS20056 NAVAS, by the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), and by the DFG through the Collaborative Research Center, Grant TRR 248 project ID 389792660. 2https://github.com/ellmau/adf-obdd, version 0.2.4, https://crates.io/crates/adf_bdd 3https://crates.io/crates/biodivine-lib-bdd.
F. De Bortoli, S. Borgwardt, und P. Koopmann. Proceedings of the 37th International Workshop on Description Logics (DL 2024), 3739, CEUR-WS.org, (Juni 2024)
F. Baader, F. Kriegel, und A. Nuradiansyah. Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, (02.09.2023)
