1. Nikitin The application of ilog planner technology to solve consistency maintenance problem of knowledge pattern with probabilistic uncertainty // SPIIRAS Proceedings. 2003. № 1 (3). C. 142-147.