Telecharger Cours

Querying Circumscribed Description Logic Knowledge Bases

Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decid- ability and complexity of traditional ...



Download