Liang Chang, Zhongzhi Shi, Tianlong Gu. Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions. Zhongzhi Shi; Sunil Vadera; Agnar Aamodt; David Leake. 6th IFIP TC 12 International Conference on Intelligent Informatio
HAL Archives-Ouvertes,
Liang Chang, Zhongzhi Shi, Tianlong Gu. Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-condit…