feldman@kama.cs.cornell.edu (Ronen Feldman) (11/06/90)
I'm doing some work in optimization of domain theories (which are actually prolog programs). After getting good results with some toy domains , I wish to try my methods on large scale domain theories. Does anyone has/knows of a reference to such a domain theory. The area is totally unimportant, it can be any engineering domain,biological domain etc. Even an expert system of some kind where the rules are in a separate module from the inference engine will be great. Any help will be greatly appreciated. Thanks Ronen Feldman (feldman@cs.cornell.edu)