KEE (Knowledge Engineering Environment) Software Development System, Version 3.01, IntelliCorp, Inc., Mountain View, Calif., 1988.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Computational Situation Theory - Tin, Akman (1994)   (Correct)

.... points of view is possible, especially via the anchoring situation associated with the environment. The syntax of the declarations and the operational semantics of BABY SIT are currently being defined. We are planning to implement BABY SIT using the KEE knowledge engineering environment [38]. KEE has a multi world mechanism. Using KEE s built in inference mechanism, one can define her own methods of inference. Combining forward and backward chaining mechanisms is also possible. Moreover, KEE s truth maintenance system enables one to handle inconsistency. ....

KEE (Knowledge Engineering Environment) Software Development System, Version 3.01, IntelliCorp, Inc., Mountain View, Calif., 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC