Применение технологии ILOG Planner для решения задачи поддержания непротиворечивости фрагмента знаний с вероятностной неопределенностью - Никитин (Труды СПИИРАН, 2003)