➦ The handbook of artificial intelligence: Avron Barr and Edward A. Feigenbaum (Eds.), Vol. 1 (Kaufman
➦ Symposium on empirical foundations of information and software science : November 3–5, 1982, at the
➦ Optimal search strategies for speech understanding control
➦ Using slots and modifiers in logic grammars for natural language
➦ The use of gradient and dual space in line-drawing interpretation
➦ A comparative study of several proof procedures
➦ A theory of spatio-temporal aggregation for vision
➦ Recovery of the three-dimensional shape of an object from a single view
➦ Symbolic reasoning among 3-D models and 2-D images
➦ Psychophysical and computational studies towards a theory of human stereopsis
➦ Cooperating processes for low-level vision: A survey
➦ Intensity, visible-surface, and volumetric representations
➦ Inferring surfaces from images
➦ Analysing images of curved surfaces
➦ Numerical shape from shading and occluding boundaries
➦ The visual interpretation of surface contours
➦ Interpreting line drawings as three-dimensional surfaces
➦ Preface—The changing shape of computer vision
➦ Recovering surface shape and orientation from texture
➦ Call for papers COLING 82: The ninth conference on computational linguistics
➦ Counterplanning: A strategy-based model of adversary planning in real-world situations
➦ Odyssey: A knowledge-based assistant
➦ A common representation for problem-solving and language-comprehension information
➦ Inductive learning of structural descriptions: Evaluation criteria and comparative review of selecte
➦ Contents — Volume 15 1980at the Claremont Hotel in Berkeley, CA, U.S.A.
➦ Call for papers: Fourth annual international SIGIR conference : May 31, June 1 and 2, 1981 at the Cl
➦ Author index — Volume 15, 1980
➦ Content reference: Reasoning about rules
➦ Probabilistic analysis of the complexity of A∗
➦ Analyzing intention in utterances
➦ Meta-rules: Reasoning about control
➦ Author index—Volume 14, 1980
➦ Contents—Volume 14, 19801980
➦ Syntax-directed, semantics-supported program synthesis
➦ Increasing tree search efficiency for constraint satisfaction problems
➦ An investigation into the goals of research in automatic theorem proving as related to mathematical
➦ Thinking: Readings in cognitive science: P.N. Johnson-Laird and P.C. Wason Cambridge University Pres
➦ Definite clause grammars for language analysis—A survey of the formalism and a comparison with augme
➦ Synthesising recursive functions with side effects