Now showing items 1-1 of 1

    • A Multiple-Context Equality-Based Reasoning System 

      Barton, George Edward, Jr. (1983-04-01)
      Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more ...