This thesis focuses on the study of the semantics of logic programs and the development of infinite games of perfect information between two players, that capture this semantics. We define a game that, given a propositional logic program with negation and a ground atom that belongs to it, may have three possible results (win for any of the players or tie). The game is determined. Based on this,...

In this paper we describe how robot trajectory planning can be formulated as a semi-infinite programming (SIP) problem. The formulation as a SIP problem allowed us to treat the problem with one of the three main classes of methods for solving SIP, the discretization class. Two of the robotics trajectory planning problems formulated were coded in the SIPAMPL [1] environment which is publicly ava...

Classical constraint satisfaction problems (CSPs) are commonly defined on finite domains. In real life, constrained variables can evolve over time. A variable can actually take an infinite sequence of values over discrete time points. In this paper, we propose constraint programming on infinite data streams, which provides a natural way to model constrained time-varying problems. In our framewo...

Infinite graphs arise from different contexts and stimulate various research branches, from classical extremal grapĥ theory to the emerging field of graph limits and graphons [5]. The purpose of this proposal is to study how some of the main topics studied by the ”Graph and Applications” team behave in the infinite case. The potential research scope is therefore wide and include some key proble...

We consider the class of semi-infinite programming problems which became in recent years a powerful tool for the mathematical modelling of many real-life problems. In this paper, we study an augmented Lagrangian approach to semi-infinite problems and present necessary and sufficient conditions for the existence of corresponding augmented Lagrange multipliers. Furthermore, we discuss two particu...

The aim of this paper is to deal with a class of multiobjective semi-infinite programming problem. For such problem, several necessary optimality conditions are established and proved using the powerful tool of K − subdifferential and the generalized convexity namely generalized uniform ( , , , ) K F d α ρ − − convexity. We also formulate the Wolf type dual models for the semi-infinite programm...

Motivated by important applications, the theory of mathematical programming has been extended to the case of infinitely many restrictions. At the same time, this theory knew remarcable developments since invexity and its further generalizations have been introduced as substitute of convexity. Here, we consider the multiobjective programming with a set of restrictions indexed in a compact. We ob...

The implementation results of an algorithm designed to solve semi-in&nite programming problems are reported. Due to its computational intensity, parallelisation is used in two stages of the algorithm—for evaluating the global optimum and for checking the feasibility of constraints. The algorithms are parallelised using MPI—the message passing interface. The algorithms are then applied to engine...

We consider the class of linear programs that can be formulated with infinitely many variables and constraints but where each constraint has only finitely many variables. This class includes virtually all infinite horizon planning problems modeled as infinite stage linear programs. Examples include infinite horizon production planning under time-varying demands and equipment replacement under t...

A quasi-Newton algorithm for semi-infinite programming using an Leo exact penalty function is described, and numerical results are presented. Comparisons with three Newton algorithms and one other quasi-Newton algorithm show that the algorithm is very promising in practice. AMS classifications: 65K05,90C30.