Project management using temporal logic programming

Presents a methodology based on a temporal reasoning tool, called TEMPER, to model time-sensitive constraints of project management. The classical methods of project management, e.g. the critical path method (CPM), are adequate, however they lose some of the most important properties and requirements of a project. In this paper, we present a project management technique which enhances the language for inputting constraints and offers a modeling approach that captures aspects that are not covered by traditional methods