912 search results - page 108 / 183 » Abstract Saturation-Based Inference |
136
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Gaussian processes have successfully been used to learn preferences among entities as they provide nonparametric Bayesian approaches for model selection and probabilistic...
139
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
114
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from expli...
135
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
113
click to vote
UM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...