Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction

LRMRe-assign community