In a common formulation of semi-infinite programs, the infinite constraint set is a requirement that a function parametrized by the decision variables is nonnegative over an interval. If this function is sufficiently closely approximable by a polynomial or a rational function, then the semi-infinite program can be reformulated as an equivalent semidefinite program. Solving this semidefinite pro...

We investigate optimality conditions for a nonsmooth multiobjective semi-infinite programming problem subject to switching constraints. In particular, we employ surrogate and suitable constraint qualification state necessary M-stationary in terms of tangential subdifferentials. An example is given at the end illustrate our main result.

A probabilistic constrained stochastic programming model is formulated, where one term in the objective function, to be minimized, is the maximum of a finite or infinite number of linear functions. The model is reformulated as a finite or semiinfinite disjunctive programming problem. Duality relationships are established for both the original and the convexified problems. Numerical solution tec...

Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic programming for regular formulae. Another, less famous, but...

We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibrium constraints, bilevel programs, and generalized semi-infinite programming problems. Based on the celebrated KKM lemma, we prove the existence of feasible points for the equilibrium constraints. Moreover, we analyze the topol...