Search Results for author:
Found 3 papers, 0 papers with code
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
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.
Systematic Study of Long Tail Phenomena in Entity Linking
In this paper we report on a series of hypotheses regarding the long tail phenomena in entity linking datasets, their interaction, and their impact on system performance.
Release Early, Release Often: Predicting Change in Versioned Knowledge Organization Systems on the Web
To illustrate the accuracy, genericity and domain independence of the method, we study the relationship between its effectiveness and several characterizations of the evaluated datasets, finding that predictors like the number of versions in a chain and their release frequency have a fundamental impact in predictability of change in Web KOS.
