Natural language syntax and first-order inference

This publication has 10 references indexed in Scilit:

• Attributive concept descriptions with complements
  Artificial Intelligence, 1991
• Computational complexity of terminological reasoning in BACK
  Artificial Intelligence, 1988
• Krypton: A Functional Approach to Knowledge Representation
  Computer, 1983
• What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks
  Computer, 1983
• Variations on the Common Subexpression Problem
  Journal of the ACM, 1980
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• An Overview of KRL, a Knowledge Representation Language
  Cognitive Science, 1977
• A unification algorithm for typed λ-calculus
  Theoretical Computer Science, 1975
• Universal grammar
  Theoria, 1970
• The Mathematics of Sentence Structure
  The American Mathematical Monthly, 1958