3 papers
cs.LO2026
Stratified Negation in RDF Rules: A Correct Approach (Extended Version)
Nils Küchenmeister, Alex Ivliev, Dörthe Arndt +1
Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual trip…
cs.LO2025
Towards Mass Spectrum Analysis with ASP
Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, a…
cs.CR2025
SoK: A cloudy view on trust relationships of CVMs -- How Confidential Virtual Machines are falling short in Public Cloud
Jana Eisoldt, Anna Galanou, Andrey Ruzhanskiy +6
Confidential computing in the public cloud intends to safeguard workload privacy while outsourcing infrastructure management to a cloud provider. This is achieved by executing cust…