Problem Solving
An overview of KRL, a knowledge representation language
Cognitive Science 1:3-46
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
Stallman, R.M. | Sussman, G. J.
. Artificial Intelligence 9 (2):135-196
The efficiency of the alpha-beta search on trees with branch-dependent terminal node scores
Artificial Intelligence 8:137-153.
Decision theory and artificial intelligence II: The hungry monkey
Technical report, Computer Science Department, University of Rochester.
A Network-based knowledge representation and its natural deduction system
Proc. IJCAI 77 VOL 1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY CAMBRIDGE, MASSACHUSETTS, USA AUGUST 22 - 25 , 1977, pp.235-246.
The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering
See also: Stanford Heuristic Programming Project Memo HPP-77-25Proc. IJCAI-77: Fifth International Joint Conference on Artificial Intelligence, pp 1014-1029
NUDGE, a knowledge-based scheduling program
Goldstein, I. P., Roberts, R. B.
See also: MIT.Proc. IJCAI 77 VOL 1, MASSACHUSETTS INSTITUTE OF TECHNOLOGY, CAMBRIDGE, MASSACHUSETTS, USA, pp.257-263, AUGUST 22-25
Generating project networks
Proc. Fifth Intl. Joint Conference on Artificial Intelligence (IJCAI-77) pp. 888-893, Boston, Mass. USA, August 1977. Reprinted in "Readings in Planning", Morgan-Kaufmann, 1990.