no code implementations • 7 Aug 2020 • Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin
In particular, we study the applicability of reinforcement learning to continuously assess the utility of learned constraints computed in previous invocations of the solving algorithm for the current one.
no code implementations • 29 Jul 2019 • Thomas Eiter, Paul Ogris, Konstantin Schekotihin
Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which incrementally update their internal state and return results as the new portions of data streams are pushed.