The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning

This publication has 16 references indexed in Scilit:

• Constraint logic programming languages
  Communications of the ACM, 1990
• Taxonomic reasoning with many-sorted logics
  Artificial Intelligence Review, 1989
• 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
• Parsing with restricted quantification: an initial demonstration1
  Computational Intelligence, 1986
• Towards a general theory of action and time
  Artificial Intelligence, 1984
• Krypton: A Functional Approach to Knowledge Representation
  Computer, 1983
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• A Temporal Logic for Reasoning about Processes and Plans*
  Cognitive Science, 1982
• Applications of many-sorted interpolation theorems
  Published by American Mathematical Society (AMS) ,1974