➦ Languages with self-reference I: Foundations
➦ Verify: A program for proving correctness of digital hardware designs
➦ Diagnostic reasoning based on structure and behavior
➦ The use of design descriptions in automated diagnosis
➦ Qualitative analysis of MOS circuits
➦ Commonsense reasoning about causality: Deriving behavior from structure
➦ Qualitative reasoning about physical systems: An introduction
➦ A qualitative physics based on confluences
➦ Contents — Volume 23, 19841984
➦ Author index — Volume 23, 1984
➦ A polymorphic type system for prolog
➦ Computations underlying the measurement of visual motion
➦ am: A case study in AI methodology
➦ Why am and eurisko appear to work
➦ Retrospectives: A note from the editor
➦ Author index — Volume 22, 1984
➦ A new use of an automated reasoning assistant: Open questions in equivalential calculus and the stud
➦ Call for papers: International symposium on fuzzy information processing in artificial intelligence
➦ Domain-independent planning Representation and plan generation
➦ Recent work in philosophy II
➦ Author index — Volume 21, 1983
➦ A quantitative analysis of the alpha-beta pruning algorithm
➦ Interpreting perspective images
➦ Master index to volumes 11–203
➦ Author index — Volume 20, 1983
➦ Strategies in heuristic search
➦ On the nature of pathology in game searching
➦ A comparison of minimax tree search algorithms
➦ A new basis for state-space learning systems and a successful implementation
➦ Author index — Volume 19, 1982
➦ Learning new principles from precedents and exercises
➦ International conference on data bases in the humanities and social sciences : June 10–12, 1983, at
➦ An investigation of the causes of pathology in games
➦ A world-championship-level Othello program
➦ Literature from cognitive psychology
➦ Call for papers: First international symposium on medical imaging and image interpretation : October