Weighted LARS for Quantitative Stream Reasoning.

Thomas Eiter, Rafael Kiesel

Browse the full ECAI paper archive.