Objective Long-term strategic planning is necessary if an organization intends to go beyond its customers’ expectations and remain competitive. A balanced scorecard is considered as a mere scorecard without a strategic plan. Therefore, it will only report the important measures not a clear understanding of leading the whole organization towards success. Strategic planning as the rationale behi...

We introduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmement proceeds by stepwise transforming nonconstructive problem specifications into executable plans. For each refinement step there is a correctness proof guaranteeing the soundness of refinement and with that the generation of provably correct plans. By solvi...

With respect to the importance of commercial alliances in airline hypercompetitive environment, partner performance evaluation is a critical matter before making any decision about partnership. In this article, utilizing Fuzzy theory, a hybrid airline evaluation model is developed in a way that all airline performance strategic dimensions are considered, as well as, it can deal with qualitative...

Evaluating and selecting alternatives investment projects needs considering all relevant and important aspects. In traditional methods, the focus is just on tangible monetary criteria. Also in the traditional methods, either all the information’s about factors must be known precisely or sufficient objective data must be available for applying probability theory. In this paper, a combinative app...

Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot’s classical natural deduction which is sound and complete for the Constant Domain logic. In this article, we present a refinement of de Groote’s abstract machin...

Abstract The purpose of this study is to consider an international facility location problem under uncertainty and present an integrated model for strategic and operational planning. The paper offers two methodologies for the location selection decision. First the extended VIKOR method for decision making problem with interval numbers is presented as a methodology for strategic evaluation of po...

A number of techniques have been developed to effectively extract and generalize planning knowledge based on expert demonstration. In this paper we consider a complementary approach to learning in which experiments are designed to test hypothesized planning knowledge. In particular, we describe an algorithm that automatically generates experiments to test assertions about plan-step ordering. Ex...