5 papers
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…
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…
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Piotr Gorczyca, Hannes Strass
Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be na…
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes (Preprint)
Piotr Gorczyca, Dörthe Arndt, Martin Diller +7
We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary…
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
Pascal Kettmann, Jesse Heyninck, Hannes Strass
Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case…