jasst3@cisunx.UUCP (Jeffrey A. Sullivan) (02/19/88)
If anyone has pointers to code (pref Common Lisp) for any of the following, please let me know: -- Frame systems -- Rule(Production) systems -- Logic (theorem provers or deductive retrievers, pref both) -- Truth Maintenance Systems Thanks! -- .......................................................................... Jeff Sullivan University of Pittsburgh jas@dsl.cadre.pittsburgh.edu Intelligent Systems Studies Program jasper@PittVMS (BITNET) Graduate Student