SEMECO-Q2
From International Center for Computational Logic
SEMECO-Q2
Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity
Research group
People
- Contact Hannes Straß
- https://digitalhealth.tu-dresden.de/projects/semeco/
- 2023 – 2026
- funded by BMBF
SEMECO-Q2 develops a method for modelling risk management for safety and security in the context of medical microsystems. The method will be based on knowledge representation and more broadly on symbolic AI, and will unify design and development of systems with creating and maintaing risk management documentation.
Proceedings Articles
Piotr Gorczyca, Hannes Straß
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
