Meta-rules: Reasoning about control

This publication has 15 references indexed in Scilit:

• Content reference: Reasoning about rules
  Artificial Intelligence, 1980
• Algorithm = logic + control
  Communications of the ACM, 1979
• Dendral and meta-dendral: Their applications dimension
  Artificial Intelligence, 1978
• Planning and Acting*
  Cognitive Science, 1978
• Generalized procedure calling and content-directed invocation
  ACM SIGART Bulletin, 1977
• Production rules as a representation for a knowledge-based consultation program
  Artificial Intelligence, 1977
• An Overview of KRL, a Knowledge Representation Language
  Cognitive Science, 1977
• A probability model of medical reasoning and theMYCIN model
  Mathematical Biosciences, 1976
• A model of inexact reasoning in medicine
  Mathematical Biosciences, 1975
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971