1. Functional verification in an interactive symbolic IC design environment;Ackland,1981
2. Expert system for diesel electric locomotive repair;Bonissone;Human Systems Man.,1984
3. Rule-Based Expert Systems,1983
4. An approach to automatic robot programming based on inductive learning;Dufay;Internat. J. Robotics Res.,1984
5. Approximate Reasoning in Decision Analysis,1982