Results
Why a Diagram is (sometimes) Worth Ten Thousand Words
When two representations are informationally equivalent, their computational efficiency depends on the information-processing operators that act on them. Two sets of operators may differ in their capabilities for recognizing patterns, in the inferences they can carry out directly, and in their control strategies (in par- ticular, the control of search). Cognitive Science 11, 65-99
The Encyclopedia of Artificial Intelligence
Only the section is currently online. Wiley-Interscience
An Algorithm for Generating Quantifier Scopings
Computational Linguistics, vol. 13, nos. 1-2, January-June 1987, pp. 47-63.
Constraint logic programming
In Proc. Fourteenth ACM Conference on Principles of Programming Languages, pp. 111– 119. Association for Computing Machinery.
Problem-solving design: Reasoning about computational value, trade-offs, and resources
In Proc. Second Annual NASA Research Forum, pp. 26–43.