Raul Trejo, Vladik Kreinovich, Chitta Baral. Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 545-550, AAAI Press / The MIT Press, 2000.
Abstract is missing.