This series contains technical reports, some runs of serials issues, and a few Ph.D. theses – most related, in one way or another, to artificial intelligence. Most are in paper form, but some are microform. The technical reports include fairly complete sets from the artificial intelligence and computer science groups at MIT and Stanford University, as well as smaller sets from a broad array of additional universities and industrial research laboratories.
Yearly synopsis of projects at Laboratory for Computer Science (LCS). Includes interdisciplinary work, artificial intelligence and expert systems. Early reports included activity in Project MAC. Missing 18,22,23,26,27 and 30.
Hussmann: Unification in Conditional-Equational Theories; Geser and Hussmann: Rapid Prototyping for Algebraic Specifications - Examples for the use of the RAP system; Geser: A Specification of the Intel 8085 Microprocessor - a Case Study.
1985 Projects and Personnel, Wilks: Machine Translation and Artificial Intelligence: Issues and their Histories; Coombs: Artificial Intelligence Foundations for a Cognitive Technology.
Rosenfeld: Array and Web Languages, an overview; Rieger and Grinberg: Causal Representation and Simulation of Physical Mechanisms; Rieger and Grinberg: Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms.
Sandewall: Approach to Information Management Systems; Sandewall et al.: Annual Research Report 1984; Sandewall: Environment for Development and Use of Executable Application Models.
Rathke, Kopp, Hohl, and Bretthauer: Object-Oriented Programming in Lisp: Language and Applications (report on ECOOP'93 workshop); Bretthauer: Entwurf und Implementierung effizienter Objectsysteme … am Beispiel von Lisp.
Berliner (chess); Reddy et al. (speech understanding); Dannenberg (AMPL); Bentley and Shaw (abstraction); Berliner (backgammon); Hayes-Roth and Mostow (speech understanding); Fennell and Lesser (speech understanding).