Liang Chang, Fen Lin, Zhongzhi Shi. A Dynamic Description Logic for Representation and Reasoning About Actions. In Zili Zhang, Jörg H. Siekmann, editors, Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Volume 4798 of Lecture Notes in Computer Science, pages 115-127, Springer, 2007. [doi]
Abstract is missing.