Subsumption computed algebraically
- 1 January 1992
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 23 (2-5) , 329-342
- https://doi.org/10.1016/0898-1221(92)90146-9
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation servicesArtificial Intelligence, 1991
- Terminological reasoning is inherently intractableArtificial Intelligence, 1990
- A four-valued semantics for terminological logicsArtificial Intelligence, 1989
- Computational complexity of terminological reasoning in BACKArtificial Intelligence, 1988
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- Frege against the Booleans.Notre Dame Journal of Formal Logic, 1987
- Knowledge Representation and ReasoningAnnual Review of Computer Science, 1986
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Augustus De Morgan's Algebraic Work: The Three StagesIsis, 1983
- Peirce the logicianHistoria Mathematica, 1982