An order-sorted logic for knowledge representation systems

This publication has 18 references indexed in Scilit:

• A flexible graph-unification formalism and its application to natural-language processing
  IBM Journal of Research and Development, 1988
• A more expressive formulation of many sorted logic
  Journal of Automated Reasoning, 1987
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• Equality-based binary resolution
  Journal of the ACM, 1986
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• What's in a concept: structural foundations for semantic networks
  International Journal of Man-Machine Studies, 1977
• Calculi of constructive logic with subordinate variables
  American Mathematical Society Translations: Series 2, 1972
• Untersuchungen zur mehrsortigen Quantorenlogik
  Mathematische Annalen, 1962
• A theory of restricted quantification I
  The Journal of Symbolic Logic, 1957