Category: CMUTR Institution: Carnegie Mellon University, School of Computer Science Number: CMU-CS-91-150 Bibtype: TechReport Author: Milind Tambe Month: may Title: Eliminating Combinatorics from Production Match Year: 1991 Key: Artificial intelligence, knowledge representation, real-time systems, rule-based systems, explanation-based learning, Soar Address: Pittsburgh, PA