6 citations · 6 across the 4 of their papers we have counts for
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…
Grounding Rule-Based Argumentation Using Datalog
Martin Diller, Sarah Alice Gaggl, Philipp Hanisch +2
ASPIC+ is one of the main general frameworks for rule-based argumentation for AI. Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reaso…
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…
Solving Advanced Argumentation Problems with Answer Set Programming
Gerhard Brewka, Martin Diller, Georg Heissenberger +2
Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the rel…
Encoding monotonic multi-set preferences using CI-nets: preliminary report
Martin Diller, Anthony Hunter
CP-nets and their variants constitute one of the main AI approaches for specifying and reasoning about preferences. CI-nets, in particular, are a CP-inspired formalism for represen…