- E-Mail:
- anselm.haak@uni-paderborn.de
- Telefon:
- +49 5251 60-6727
- Büroanschrift:
-
Fürstenallee 11
33102 Paderborn - Raum:
- F2.108
Über Anselm Haak
Meine Forschungsinteressen liegen hauptsächlich im Schnitt der Informatik und Logik, sowie der parametrisierten Komplexität und verwandten Themen.
In der Vergangenheit habe ich an Zählkomplexität, deskriptiver Komplexität, Schaltkreiskomplexität, parametrisierter Komplexität, Prädikatenlogik erster und zweiter Stufe und Teamlogiken gearbeitet.
Hier in Paderborn plane ich, die Komplexität von (Zähl-)Problemen zu untersuchen, die in Beschreibungslogiken auftreten. Dabei hoffe ich, dass der Blickwinkel der parametrisierten und feinkörnigen Komplexität neue Erkentnisse bringt.
Darüber hinaus bin ich immer an spannenden neuen Forschungsrichtungen in diesen und verwandten Bereichen interessiert.
Publikationen
Aktuelle Publikationen
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: 2026.
On k-Bounded Nondeterminism for Branching Programs and Circuits
A. Haak, A. Meier, R. Rao B. V., in: To Appear, 2026.
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in \(\mathscrE\)\(\mathscrL\)\(\perp\)
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: A. Kovtunova, B. Sertkaya (Eds.), Proceedings of the 39th International Workshop on Description Logics {(DL} 2026) Co-Located with the Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 17-19, 2026, CEUR-WS.org, 2026.
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.
Alle Publikationen anzeigen
Lehre
Laufende Lehrveranstaltungen
- Seminar: Current Topic in Description Logics (in English)
Wissenschaftliches Engagement
24.07.2026 | PC member of the workshop on Logical Approaches to Handling Inconsistent Data (LINDA)
PC member of the workshop on Logical Approaches to Handling Inconsistent Data (LINDA) (Link)
17.07.2026 - 19.07.2026 | PC member of the 39th International Workshop On Description Logics
PC member of the 39th International Workshop On Description Logics (Link)
03.09.2025 - 06.09.2025 | PC member of the 38th International Workshop On Description Logics
PC member of the 38th International Workshop On Description Logics (Link)