Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty.

Daniel de Leng, Fredrik Heintz

Browse the full AAAI paper archive.