Not enough data to create a plot.
Try a different view from the menu above.
Some techniques for proving correctness of programs which alter data structures
Machine Intelligence 7
Computer program synthesis from computation traces
From: Kyoto University Research Information Repository
Toward a model of children's story comprehension
This report considers the problem of constructing an abstract model of story comprehension. The use of questions that go beyond the story as a test of understanding the story raises a methodological problem which is discussed in detail.
Mathematical and computational models of transformational grammar
Machine Intelligence 7
Human problem solving
The aim of the book is to advance the understanding of how humans think. It seeks to do so by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory. Englewood Cliffs, N.J.: Prentice-Hall.
The sharing of structure in theorem-proving programs
Machine Intelligence 7