Model-based Revision Operators for Terminologies in Description Logics.

Guilin Qi, Jianfeng Du

Browse the full IJCAI paper archive.