Computational complexity of terminological reasoning in BACK
- 30 April 1988
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 34 (3), 371-383
- https://doi.org/10.1016/0004-3702(88)90066-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Making believers out of computersArtificial Intelligence, 1986
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Krypton: A Functional Approach to Knowledge RepresentationComputer, 1983
- Tarskian Semantics, or No Notation Without Denotation!Cognitive Science, 1978