A Dynamic Description Logic for Representation and Reasoning About Actions.

Liang Chang, Fen Lin, Zhongzhi Shi

Browse the full KSEM paper archive.