Труды КНЦ (Технические науки вып. 7/2023(14))

19. Vilain M., Kautz H., and Van Beek P. Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. editors D. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1989, pp. 373-381. 20. Dechter R., Meiri I., and Pearl J. Temporal Constraint Networks. Artificial Intelligence, 1991, no. 49(1-3), pp. 61-95. 21. Allen J. Maintaining Knowledge about Temporal Intervals. Communications o f the ACM, 1983, no. 26(11), p p .832-843. 22. Meiri I. Combining qualitative and quantitative constraints in temporal reasoning. Artificial Intelligence, 1996, no. 87(1-2), pp. 343-385. 23. Handbook o f Constraint Programming Edited by F. Rossi, P. Van Beek and T. Walsh. Elsevier. 2006. 24. Kumar T. K. S. On the tractability of restricted disjunctive temporal problems. ICAPS, 2005, pp. 110-119. 25. Beaumont M., Thornton J., Sattar A., and Maher M. J. Solving over-constrained temporal reasoning problems using local search. PRICAI, 2004, pp. 134-143. 26. Kumar T. K. S. A polynomial-time algorithm for simple temporal problems with piecewise constant domain preference functions. AAAI, 2004, pp. 67-72. 27. Liffiton M. H., Moffitt M. D., Pollack M. E., and Sakallah K. A. Identifying conflicts in overconstrained temporal problems. IJCAI, 2005, pp. 205-211. 28. Ladkin P. Satisfying First-Order Constraints About Time Intervals. AAAI, 1988, pp. 512-517. 29. Koubarakis M. The Complexity o f Query Evaluation in Indefinite Temporal Constraint Databases // Theoretical Computer Science, Special Issue on Uncertainty in Databases and Deductive Systems , Editor: L. V. S. Lakshmanan, 1997, no. 171. pp. 25-60. 30. Koubarakis M. and Skiadopoulos S. Querying Temporal and Spatial Constraint Networks in PTIME. Artificial Intelligence, 2000, no. 123(1-2), pp. 223-263. Информация об авторах А. А. Зуенко — кандидат технических наук, ведущий научный сотрудник; О. В. Фридман — кандидат технических наук, ведущий инженер. Information about the authors А. A. Zuenko — Candidate of Science (Tech.), Leading Research Fellow; O. V. Fridman — Candidate of Science (Tech.), Leading Engineer. Статья поступила в редакцию 15.09.2023; одобрена после рецензирования 01.10.2023; принята к публикации 08.11.2023. The article was submitted 15.09.2023; approved after reviewing 01.11.2023; accepted for publication 08.11.23. Труды Кольского научного центра РАН. Серия: Технические науки. 2023. Т. 14, № 7. С. 43-51. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2023. Vol. 14, No. 7. P. 43-51. © Зуенко А. А., Фридман О. В., 2023 51