TERMINOLOGICAL CYCLES

This publication has 10 references indexed in Scilit:

• LIVING WITH CLASSIC
  Published by Elsevier ,1991
• Terminological reasoning is inherently intractable
  Artificial Intelligence, 1990
• Undecidability of subsumption in NIKL
  Artificial Intelligence, 1989
• A four-valued semantics for terminological logics
  Artificial Intelligence, 1989
• CLASSIC: a structural data model for objects
  Published by Association for Computing Machinery (ACM) ,1989
• Computational complexity of terminological reasoning in BACK
  Artificial Intelligence, 1988
• Expressiveness and tractability in knowledge representation and reasoning1
  Computational Intelligence, 1987
• A logical-form and knowledge-base design for natural language generation
  Published by Association for Computational Linguistics (ACL) ,1986
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955