Kurilenko Ivan Evgen'evich

Publications in Math-Net.Ru

1. The branching-time temporal logiс and its application to intelligent decision support systems
   
   Artificial Intelligence and Decision Making, 2011, no. 1,  14–26
2. The temporal reasoning system for intelligent decision support systems of real time
   
   Artificial Intelligence and Decision Making, 2009, no. 1,  31–45