4 Publications
2025 | Journal Article | LibreCat-ID: 61874
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 60168
@inbook{Dell_Haak_Kallmayer_Wennmann_2025, place={Philadelphia, PA}, title={Solving Polynomial Equations Over Finite Fields}, DOI={10.1137/1.9781611978322.90}, booktitle={Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)}, publisher={Society for Industrial and Applied Mathematics}, author={Dell, Holger and Haak, Anselm and Kallmayer, Melvin and Wennmann, Leo}, year={2025} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63888
@inproceedings{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing ABox Abduction beyond Repairs}, booktitle={Proceedings of the 38th International Workshop on Description Logics - DL 2025}, author={Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025} }
LibreCat
| Download (ext.)
Search
Filter Publications
Display / Sort
Export / Embed
4 Publications
2025 | Journal Article | LibreCat-ID: 61874
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2025 | Book Chapter | LibreCat-ID: 60168
@inbook{Dell_Haak_Kallmayer_Wennmann_2025, place={Philadelphia, PA}, title={Solving Polynomial Equations Over Finite Fields}, DOI={10.1137/1.9781611978322.90}, booktitle={Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)}, publisher={Society for Industrial and Applied Mathematics}, author={Dell, Holger and Haak, Anselm and Kallmayer, Melvin and Wennmann, Leo}, year={2025} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63888
@inproceedings{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing ABox Abduction beyond Repairs}, booktitle={Proceedings of the 38th International Workshop on Description Logics - DL 2025}, author={Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025} }
LibreCat
| Download (ext.)