Terminological reasoning is inherently intractable
- 31 May 1990
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 43 (2) , 235-249
- https://doi.org/10.1016/0004-3702(90)90087-g
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Undecidability of subsumption in NIKLArtificial Intelligence, 1989
- A four-valued semantics for terminological logicsArtificial Intelligence, 1989
- Logic and the complexity of reasoningJournal of Philosophical Logic, 1988
- 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
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Linear unificationJournal of Computer and System Sciences, 1978