Editorial Board
A model for temporal references and its application in a question answering program
Computer proofs of limit theorems
A program for timetable compilation by a look-ahead method
Augmented transition networks as psychological models of sentence comprehension
Interpretation of imperfect line data as a three-dimensional scene
The technology chess program
Solving problems by formula manipulation in logic and linear inequalities
A note on linear resolution strategies in consequence-finding
On the inference of Turing machines from sample computations
Turing-like indistinguishability tests for the validation of a computer simulation of paranoid processes
Strategy construction using homomorphisms between games
Learning and executing generalized robot plans
The International Joint Conference on Artificial Intelligence (IJCAI)
Speech understanding systems
Author index