Representation and reasoning with attributive descriptions

This publication has 15 references indexed in Scilit:

• Classification as a query processing technique in the CANDIDE semantic data model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A four-valued semantics for terminological logics
  Artificial Intelligence, 1989
• Polymorphic unification and ML typing
  Published by Association for Computing Machinery (ACM) ,1989
• Computational complexity of terminological reasoning in BACK
  Artificial Intelligence, 1988
• The KREME knowledge editing environment
  International Journal of Man-Machine Studies, 1987
• Expressiveness and tractability in knowledge representation and reasoning1
  Computational Intelligence, 1987
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• An overview of the KL-ONE Knowledge Representation System
  Cognitive Science, 1985
• Algorithm = logic + control
  Communications of the ACM, 1979