The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Artificial Intelligence Lab Publications: Recent submissions

Now showing items 49-51 of 1835

    • Structured Planning and Debugging: A Linguistic Approach to Problem Solving 

      Miller, Mark L.; Goldstein, Ira P. (MIT Artificial Intelligence Laboratory, 1976-06-08)
      A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including ...

    • Symbol IC-Evaluation as an Aid to Program Synthesis 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1976-04)
      Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation ...

    • CGOL - an Alternative External Representation For LISP users 

      Pratt, Vaughan R. (MIT Artificial Intelligence Laboratory, 1976-03)
      Advantages of the standard external representation of LISP include its simple definition, its economical implementation and its convenient extensibility. These advantages have been gained by trading off syntactic variety ...