Attributive concept descriptions with complements
- 1 February 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 48 (1) , 1-26
- https://doi.org/10.1016/0004-3702(91)90078-x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- 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 algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985