Browsing AI Memos (1959 - 2004) by Author "Feldman, Yishai A."

Now showing items 1-1 of 1

    • Pattern-Directed Invocation with Changing Equations 

      Feldman, Yishai A.; Rich, Charles (1988-05-01)
      The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. In such systems, a demon needs to be invoked not only when its pattern exactly matches ...