Project MAC: Recent submissions

Now showing items 4-6 of 176

    • A Preliminary Study in Computer-aided Legal Analysis 

      Meldman, Jeffrey A. (1975-11)
      This paper describes the prototype for a computer system that can perform a simple kind of legal analysis. The system user, who is presumed to be a lawyer, describes to the system a hypothetical set of facts. The system ...

    • Minimizing the Naming Facilities Requiring Protection in a Computing Utility 

      Bratt, Richard Glenn (1975-09)
      This thesis examines the various mechanisms for naming the information objects stored in a general-purpose computing utility, and isolates a basic set of naming facilities that must be protected to assure complete control ...

    • Mechanization of Temporal Knowledge 

      Kahn, Kenneth M. (1975-09)
      The design and implementation of a collection of computer programs knowledgeable about time "in general," called the time specialist, is described. The thesis that this time specialist can be placed in the service of ...