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
Piotr Gorczyca, Dörthe Arndt, Martin Diller, Jochen Hampe, Georg Heidenreich, Pascal Kettmann, Markus Krötzsch, Stephan Mennicke, Sebastian Rudolph, Hannes Straß
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes
Proceedings of the 21st International Conference on Semantic Systems (SEMANTiCS 2025), to appear
Details Download
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)
