OPERATIONALIZING MODELING KNOWLEDGE IN TERMS OF PREDICATE CALCULUS

This publication has 6 references indexed in Scilit:

• The Contribution of Management Science to Management Information
  Interfaces, 1978
• They Went Thataway
  Interfaces, 1977
• Production rules as a representation for a knowledge-based consultation program
  Artificial Intelligence, 1977
• A Survey of Users of Corporate Planning Models
  Management Science, 1976
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969
• On sentences which are true of direct unions of algebras
  The Journal of Symbolic Logic, 1951