The Double-Level Default Description Logic

Liangjun Zang, Weimin Wang, Bo Chen, Cungen Cao

Browse the full KSEM paper archive.