Kleer, Johan de; Doyle, Jon; Steele, Guy L., Jr.; Sussman, Gerald Jay
(1977-06-01)
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report ...