Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Supporting Cybersecurity Risk Management for Medical Devices via the SECUMAN Ontology and Shapes
Martin Diller, Anne Esslinger, Piotr Gorczyca +3
We propose the SECUMAN ontology and shapes for representing and analysing cybersecurity risk-management documentation for medical devices. Cybersecurity risks are increasingly rele…
cs.LO2026
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
Pascal Kettmann, Hannes Strass, Jesse Heyninck +1
In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "" is true if we have no evi…