Adding interaction to logic programming is an essential task. Expressive logics such as linear logic provide a theoretical basis for such a mechanism. Unfortunately, none of the existing (linear) logic languages can model interactions with the user because they uses provability as the sole basis for computation. In the operational semantics based on provability, executing the additive-conjuncti...

the aim of this study is to propose a new mixed integer linear programming (milp) model to find the minimum required number of yard cranes, rubber tyred gantry cranes (rtgcs), for completion the total amount of works at the end of planning horizon. in other word, we find the optimal number of yard cranes in a container terminal which completes the total amount of works. the paper supports the p...

stochastic approach to vehicle routing problem: development and theories abstract in this article, a chance constrained (ccp) formulation of the vehicle routing problem (vrp) is proposed. the reality is that once we convert some special form of probabilistic constraint into their equivalent deterministic form then a nonlinear constraint generates. knowing that reliable computer software for lar...

in this paper, we consider rna structures with arc-length 4 . first, we represent thesestructures as matrix models and zero-one linearprogramming problems. then, we obtain anoptimal solution for this problemusing an implicit enumeration method. the optimal solutioncorresponds toan rna structure with the maximum number of hydrogen bonds.

research interests have been focused on the concept of penalizing jobs both for being early and for being tardy because not only of modern competitive industrial challenges of providing a variety of products at a very low cost by smoothing productions but also of its increasing and exciting computer applications. here, sequencing approaches of the mixed- model just-in-time production systems is...