Vol-2662⫷ Vol-2663 ⫸Vol-2664
urn:nbn:de:0074-2663-0


Vol-2663/paper-8⫷Vol-2663/paper-9⫸Vol-2663/paper-10
Clemens DubslaffPatrick KoopmannAnni-Yasmin Turhan

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification