On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.

Andrea Schaerf

Browse the full ISMIS paper archive.