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

Andrea Schaerf. On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 508-517, Springer, 1993.

Abstract

Abstract is missing.