Anselm Peter Heinz Haak

Wissensrepräsentation
anselm.haak@uni-paderborn.de
ID
109969

4 Publications

Mark all

[4]
2025 | Journal Article | LibreCat-ID: 61874
Haak, A., Kontinen, J., Müller, F., Vollmer, H., & Yang, F. (2025). Counting of Teams in First-Order Team Logics. ACM Transactions on Computational Logic, Article 3771721. https://doi.org/10.1145/3771721
LibreCat | DOI
 
[3]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, H., Haak, A., Kallmayer, M., & Wennmann, L. (2025). Solving Polynomial Equations Over Finite Fields. In Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611978322.90
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In arXiv:2507.21955.
LibreCat | arXiv
 
[1]
2025 | Conference Paper | LibreCat-ID: 63888
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In L. Tendera, Y. Ibanez Garcia, & P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025.
LibreCat | Download (ext.)
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

4 Publications

Mark all

[4]
2025 | Journal Article | LibreCat-ID: 61874
Haak, A., Kontinen, J., Müller, F., Vollmer, H., & Yang, F. (2025). Counting of Teams in First-Order Team Logics. ACM Transactions on Computational Logic, Article 3771721. https://doi.org/10.1145/3771721
LibreCat | DOI
 
[3]
2025 | Book Chapter | LibreCat-ID: 60168
Dell, H., Haak, A., Kallmayer, M., & Wennmann, L. (2025). Solving Polynomial Equations Over Finite Fields. In Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611978322.90
LibreCat | DOI
 
[2]
2025 | Preprint | LibreCat-ID: 61065
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In arXiv:2507.21955.
LibreCat | arXiv
 
[1]
2025 | Conference Paper | LibreCat-ID: 63888
Haak, A., Koopmann, P., Mahmood, Y., & Turhan, A.-Y. (2025). Why not? Developing ABox Abduction beyond Repairs. In L. Tendera, Y. Ibanez Garcia, & P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025.
LibreCat | Download (ext.)
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed