Backwards State-space Reduction for Planning in Dynamic Knowledge Bases | Read Paper on Bytez