Nikitin, 2003. The application of ilog planner technology to solve consistency maintenance problem of knowledge pattern with probabilistic uncertainty. SPIIRAS Proceedings. 3, 1 (Jun. 2003), 142-147. DOI:https://doi.org/10.15622/sp.1.16.