Information Technology
An intelligent analyser and generator for natural language
Proceedings of the international conference on computational linguistics, Pisa, Italy.
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.