no code implementations • 13 Mar 2020 • Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
To address such a scenario in a principled way, we introduce a forgetting-based approach in CTL and show that it can be used to compute SNC and WSC of a property under a given model and over a given signature.
no code implementations • 1 Jan 2021 • Panfeng Chen, Yisong Wang, Renyan Feng, Xiaomin Yu, Quan Yu
The insight of this work enlightens the notion of dense feature model design for KGC which is a new alternative to Deep Neural networks (DNN) in this task or even a better choice.