Pascal Kettmann
From International Center for Computational Logic
M.A. Pascal Kettmann
Research Associate Computational Logic
- pascal.kettmann@tu-dresden.de
- +49 351 463 43549
- APB 2039
Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project M/EDGE.
Newest Publications
Pascal Kettmann, Jesse Heyninck, Hannes Straß
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025, to appear
Details Download
Courses
- Formale Systeme (WS 2024)
M/EDGE
Secure Low Power Medical Edge Computing
