Solving problems of resource constraint satisfaction with Time-EX

In the present paper, we examine some issues related to the development of Time-EX (an intelligent scheduling and project management system) as an application of the method of subdefinite models (SD-models). Extension of SD-models with dynamic elements is briefly discussed, along with their implementation via the tools for knowledge representation and processing developed in the Russian Research Institute for Artificial Intelligence (RRIAI). An outline of a partial solution to the problem using the current version of Time-EX is presented.