TY  - RPRT
TI  - Reasoning about Probabilities in Dynamic Systems using Goal Regression
AU  - Vaishak Belle
AU  - Hector Levesque
PY  - 2013
UR  - https://arxiv.org/abs/1309.6816
ID  - 1309.6816
ER  -