Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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…
cs.AI2025
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…