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

Open in new window