Xiaofei Zhao, Dongping Tian, Limin Chen, Zhongzhi Shi. Reasoning Theory for D3L with Compositional Bridge Rules. In Zhongzhi Shi, David B. Leake, Sunil Vadera, editors, Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings. Volume 385 of IFIP Advances in Information and Communication Technology, pages 106-115, Springer, 2012. [doi]
Abstract is missing.