The complexity of existential quantification in concept languages
- 29 February 1992
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 53 (2-3) , 309-327
- https://doi.org/10.1016/0004-3702(92)90076-a
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- Terminological reasoning is inherently intractableArtificial Intelligence, 1990
- Computational complexity of terminological reasoning in BACKArtificial Intelligence, 1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985