The implementation of a model-based belief revision system
Timothy S. C. Chou, Marianne Winslett · ACM SIGART Bulletin · 1991
In this paper, we briefly describe Immortal, an implementation of a model-based belief revision system. We present our motivation for building Immortal, describe its basic components and properties, and discuss our method of evaluating Immortal.