AI Working Papers (1971 - 1995): Recent submissions

Now showing items 163-165 of 291

    • Guardians for Concurrent Systems 

      Hewitt, Carl; Attardi, Giuseppe (MIT Artificial Intelligence Laboratory, 1980-12)
      In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the ...

    • Report on the Workshop on Distributed AI 

      Davis, Randall (MIT Artificial Intelligence Laboratory, 1980-09)
      On June 9-11, 22 people gathered at Endicott House for the first workshop on the newly emerging topic of Distributed AI. They came with a wide range of views on the topic, and indeed a wide range of views of what precisely ...

    • A Proposal for Sniffer: a System that Understands Bugs 

      Shapiro, Daniel G. (MIT Artificial Intelligence Laboratory, 1980-07)
      This paper proposes an interactive debugging aid that exhibits a deep understanding of a narrow class of bugs. This system, called Sniffer, will be able to find and identify errors, and explain them in terms which are ...