Problem Solver Control Over the ATMS

Using Compiled Knowledge to Guide and Focus Abductive Diagnosis

IEEE Transactions on Knowledge and Data Engineering

Physical impossibility instead of fault models

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Context maintenance

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

ACP: reason maintenance and inference control for constraint propagation over intervals

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1