Now showing items 1-2 of 2

    • Boolean Classes 

      McAllester, David; Zabih, Ramin (1986-09-01)
      Object-oriented programming languages all involve the notions of class and object. We extend the notion of class so that any Boolean combination of classes is also a class. Boolean classes allow greater precision and ...
    • Dependency-Directed Backtracking in Non-Deterministic Scheme 

      Zabih, Ramin (MIT Artificial Intelligence Laboratory, 1988-08)
      Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...