conftrace_

formula progression

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

stream reasoning (1) approximate reasoning (1) uncertainty handling (1) metric temporal logic (1) qualitative spatial reasoning (1)

Papers

Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019