139 citations · 221 across the 14 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Explaining Hyperproperty Violations
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner +5
Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, a set of traces…
cs.LO2022★ 1 cited
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +3
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ont…