1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2020
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Renyan Feng, Erman Acar, Stefan Schlobach +2
Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expec…
cs.AI2015★ 1 cited
Release Early, Release Often: Predicting Change in Versioned Knowledge Organization Systems on the Web
Albert Meroño-Peñuela, Christophe Guéret, Stefan Schlobach
The Semantic Web is built on top of Knowledge Organization Systems (KOS) (vocabularies, ontologies, concept schemes) that provide a structured, interoperable and distributed access…