the aim of a multi-mode resource-constrained project scheduling problem (mrcpsp) is to assign resource(s) with the restricted capacity to an execution mode of activities by considering relationship constraints, to achieve pre-determined objective(s). these goals vary with managers or decision makers of any organization who should determine suitable objective(s) considering organization strategi...

Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of epistemic specifications. As is usual with logic programming languages, the problem of answering queries is intractable in the general case. For extended disjunctive logic programs, an idea that has proven useful in sim...

Prove that any strictly monotone sequence (Uα)α<γ of open subsets of X has countable length, i.e. γ is countable. Hint: Use the same idea as in the proof of (a). (c) Show that every monotone sequence (Uα)α<ω1 open subsets of X eventually stabilizes, i.e. there is γ < ω1 such that for all α < ω1 with α ≥ γ, we have Uα = Uγ. Hint: Use the regularity of ω1. (d) Conclude that parts (a), (b) and (c)...

This paper addresses the problem of splitting trajectories optimally for the purpose of efficiently supporting spatio-temporal range queries using index structures (e.g., R-trees) that use minimum bounding hyper-rectangles as trajectory approximations. We derive a formal cost model for estimating the number of I/Os required to evaluate a spatio-temporal range query with respect to a given query...

Answer Set Programming (ASP) is a successful method for solving range of real-world applications. Despite the availability fast ASP solvers, computing answer sets demands very large computational power, since problem tackled in second level polynomial hierarchy. A speed-up set computation may be attained, if program can split into two disjoint parts, bottom and top. Thus, part evaluated indepen...

The ring loading problem with integer demand splitting is that of routing κ traffic requirements on an undirected ring network. We present a compact polyhedral description of the set of feasible solutions to the problem, whose number of variables and constraints is O(κ). © 2009 Elsevier B.V. All rights reserved.

This paper applies splitting techniques developed for set-valued maximal monotone operators to monotone aane variational inequalities, including as a special case the classical linear comple-mentarity problem. We give a uniied presentation of several splitting algorithms for monotone operators, and then apply these results to obtain two classes of algorithms for aane variational inequalities. T...