DOI:
Abstract:
When addressing specific classes of problems, it is not sufficient for a problem solving paradigm to enable domain descriptions and solution methods; it is necessary to support the process as well. This requires the provision of facilities that help make it reasonably easy, free from errors and efficient. We are interested in generating detailed predictions of the behavior of large scale systems; such problems arise in the operations management of complex systems, such as space-based facilities and transportation systems. Here, the main challenge is the integration of planning and scheduling.