Pascal Kettmann
Aus International Center for Computational Logic
M.A. Pascal Kettmann
Wissenschaftlicher Mitarbeiter Computational Logic
- pascal.kettmann@tu-dresden.de
- +49 351 463 43549
- APB 2039
Seit Dezember 2022 bin ich wissenschaftlicher Mitarbeiter an der Professur für Computational Logic und arbeite im BMFD geförderten Projekt M/EDGE.
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
Lehrveranstaltungen
- Formale Systeme (WS 2024)
