4 Publications
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.)
2025 | Journal Article | LibreCat-ID: 61874
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
H. Dell, A. Haak, M. Kallmayer, and L. Wennmann, “Solving Polynomial Equations Over Finite Fields,” presented at the ACM-SIAM Symposium on Discrete Algorithms (SODA25), New Orleans, Louisiana, U.S., 2025, doi: 10.1137/1.9781611978322.90.
LibreCat
| DOI
4 Publications
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.)
2025 | Journal Article | LibreCat-ID: 61874
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
H. Dell, A. Haak, M. Kallmayer, and L. Wennmann, “Solving Polynomial Equations Over Finite Fields,” presented at the ACM-SIAM Symposium on Discrete Algorithms (SODA25), New Orleans, Louisiana, U.S., 2025, doi: 10.1137/1.9781611978322.90.
LibreCat
| DOI