The Complexity of Concept Languages
- 1 April 1997
- journal article
- Published by Elsevier in Information and Computation
- Vol. 134 (1) , 1-58
- https://doi.org/10.1006/inco.1997.2625
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- An empirical analysis of terminological representation systemsArtificial Intelligence, 1994
- Am empirical analysis of optimization techniques for terminological representation systemsApplied Intelligence, 1994
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- The complexity of existential quantification in concept languagesArtificial Intelligence, 1992
- KRISACM SIGART Bulletin, 1991
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984
- Krypton: A Functional Approach to Knowledge RepresentationComputer, 1983
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977