Implementation of the temporal reasoning mechanism in modern intelligent systems

D. A. Pospelov and L. V. Litvintseva, The Representation of Knowledge about Time and Space in Intelligent Systems, Ed. by D. A. Pospelov (Nauka, Moscow, 1986) [in Russian]. A. P. Eremeev and V. V. Troitskii, “Models of Representation of Temporal Relations in Intelligent Decision Support Systems,” Izv. Ross. Akad. Nauk, Teor. Sist. Upr., No. 5, 732–743 (2003) [Comp. Syst. Sci. 42 (5), 407 (2003)]. V. N. Vagin and A. P. Eremeev, “Certain Basic Principles of Designing Intelligent Real-Time Systems for Decision Support,” Izv. Ross. Akad. Nauk, Teor. Sist. Upr., No. 6, (2001) [Comp. Syst. Sci. 40 (6), 707 (2001)]. A. P. Eremeev and I. E. Kurilenko, “Implementation of Temporal Reasoning for Intelligent Real-Time Systems for Decision Support,” Program. Prod. Sist., No. 2 (2005). A. Gereviny and L. Schubert, Efficient Algorithms for Qualitative Reasoning About Time, Technical Report, Department of Computer Science (University of Rochester, New York, 1993). M. Vilain and H. Kautz, “Constraint Propagation Algorithms for Temporal Reasoning,” in Proceedings of National Conference of Artificial Intelligence (AAAI-86) (AAAI Press, Philadelphia, 1986). P. Van Beek, “Reasoning about Qualitative Temporal Information,” in Proceedings of National Conference of Artificial Intelligence (AAAI-90) (AAAI Press, Philadelphia, 1990). R. Tarjan, “Depth-First Search and Linear Graph Algorithms,” SIAM, No. 1 (1973). P. Laborie and M. Ghallab, “IxTeT: An Integrated Approach for Plan Generation and Scheduling,” Constraints, No. 1 (3) (1997). P. Van Beek and D. Manchak, “The Design and Experimental Analysis of Algorithms for Temporal Reasoning,” J. Artif. Intell. Res., No. 4 (1996). A. Gereveni, L. Schubert “An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning,” in Proceedings of 4th International Conference on Principles of Knowledge Representation and Reasoning, San Francisco, USA, 1994. J. Allen, “Maintaining Knowledge About Temporal Intervals,” Comm. ACM, No. 26 (1983). J. Allen, “Planning as Temporal Reasoning,” in Proceedings of 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, 1991. A. Krokhin and P. Jonsson, Reasoning about Temporal Relations: The Tractable Subalgebras of Allen’s Interval Algebra, Technical Report PRG-RR-01-12, Computing Laboratory (Oxford University, 2001). A. Gereviny and L. Schubert, On Point-Based Temporal Disjointness, Technical Report, Department of Computer Science (University of Rochester, New York, 1994). J. Allen and E. Yampartoom, “Performance of Temporal Reasoning Systems,” SIGART, T1-T4, No. 4 (3) (1993). P. Jonsson, T. Drakengren, and C. Backstrom, “Computational Complexity of Relating Time Points and Intervals,” Artif. Intell., Nos. 1, 2, (1999). R. Dechter, I. Meiri, and J. Pearl, “Temporal Constraint Networks,” Artif. Intell., No. 49 (1991). E. M. Schwalb, “Temporal Reasoning with Constraints,” PhD thesis (University of California, Irvine, 1998). A. Gerevini, Incremental Qualitative Temporal Reasoning Algorithms for the Point Algebra and the ORD-Horn Class, Techn. Report RT 2005-07-46 (University of Rochester, New York, 2005). A. V. Borisov, A. S. Kazaritskii, and I. E. Kurilenko, “On Modern Approaches to Designing Systems of Vehicle Accounting, Software and Hardware Tools,” Informatsionnye Tekhnologii Modelirovaniya i Upravleniya, No. 5 (2005). P. Jackson, Introduction to Expert Systems (Vil’yams, Moscow, 2001) [in Russian].