253 citations · 578 across the 15 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020
Gaussian Processes with Skewed Laplace Spectral Mixture Kernels for Long-term Forecasting
Kai Chen, Twan van Laarhoven, Elena Marchiori
Long-term forecasting involves predicting a horizon that is far ahead of the last observation. It is a problem of high practical relevance, for instance for companies in order to d…
cs.AI1996
Practical Methods for Proving Termination of General Logic Programs
E. Marchiori
Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process n…